diff options
-rwxr-xr-x | maintainers/scripts/travis-nox-review-pr.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh index 157ccc08f625..e9ca22117aa4 100755 --- 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 |