diff options
Diffstat (limited to 'maintainers')
| -rwxr-xr-x | maintainers/scripts/travis-nox-review-pr.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh index dc45cf13ab670..0835dc92b7bb5 100755 --- a/maintainers/scripts/travis-nox-review-pr.sh +++ b/maintainers/scripts/travis-nox-review-pr.sh @@ -22,6 +22,8 @@ elif [[ $1 == nox ]]; then git clone -q https://github.com/madjar/nox pip --quiet install -e nox elif [[ $1 == build ]]; then + source $HOME/.nix-profile/etc/profile.d/nix.sh + if [[ $TRAVIS_PULL_REQUEST == false ]]; then echo "===> Not a pull request, checking evaluation" nix-build pkgs/top-level/release.nix -A tarball |