diff options
Diffstat (limited to 'maintainers/scripts/travis-nox-review-pr.sh')
| -rwxr-xr-x | maintainers/scripts/travis-nox-review-pr.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh index 1c117c6add9d..9efadab18c01 100755 --- a/maintainers/scripts/travis-nox-review-pr.sh +++ b/maintainers/scripts/travis-nox-review-pr.sh @@ -28,12 +28,13 @@ 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 + echo "=== Not a pull request" else echo "=== Checking PR" nox-review pr ${TRAVIS_PULL_REQUEST} fi + echo "=== Checking tarball creation" + nix-build pkgs/top-level/release.nix -A tarball else echo "$0: Unknown option $1" >&2 false |