Merge pull request #15118 from joachifm/travis

Additional travis checks
2016-05-08 12:50:33 +01:00
parent 05a98bae91 5b7a1b97d2
commit 0d3aa5cfc9
1 changed files with 3 additions and 0 deletions
--- a/maintainers/scripts/travis-nox-review-pr.sh
+++ b/maintainers/scripts/travis-nox-review-pr.sh
@@ -26,6 +26,9 @@ elif [[ $1 == build ]]; then
    echo "=== Checking tarball creation"
    nix-build pkgs/top-level/release.nix -A tarball

+    echo "=== Checking NixOS options"
+    nix-build --show-trace nixos/release.nix -A options
+
    if [[ $TRAVIS_PULL_REQUEST == false ]]; then
        echo "=== Not a pull request"
    else