diff options
| author | Joachim Fasting <joachifm@fastmail.fm> | 2016-04-30 18:59:54 +0200 |
|---|---|---|
| committer | Joachim Fasting <joachifm@fastmail.fm> | 2016-05-07 21:30:13 +0200 |
| commit | 5b7a1b97d23cd27fb9719b47cc25a31844f53e09 (patch) | |
| tree | c9dc1f5656fade02c0082cb2aa869e1c1f9cc067 /maintainers | |
| parent | 1d2fcde841a602332a61cb39c4db5ca7aa6616ab (diff) | |
travis: also check NixOS options
This will at least catch simple errors in default values and is fairly
cheap, in terms of resource and time consumption, and adds very little
additional output unless there's a failure.
Diffstat (limited to 'maintainers')
| -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 |