diff options
author | Matthew Justin Bauer <mjbauer95@gmail.com> | 2016-07-25 13:56:07 -0500 |
---|---|---|
committer | Matthew Bauer <mjbauer95@gmail.com> | 2016-07-29 20:54:02 -0500 |
commit | a30a34b6f36fa1e51c84b29ed0fe6a231e849f28 (patch) | |
tree | 3a752522924981ba98f2d1c3ed72c72934685b2c /maintainers/scripts | |
parent | d7176a83a7f5ee0daee4b201ba1955c5178df3aa (diff) |
nox: add git as build input
also: add nox as separate target to make build log more quiet
Diffstat (limited to 'maintainers/scripts')
-rwxr-xr-x | maintainers/scripts/travis-nox-review-pr.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh index 5b25e4f37c143..8dd836e67f3d0 100755 --- a/maintainers/scripts/travis-nox-review-pr.sh +++ b/maintainers/scripts/travis-nox-review-pr.sh @@ -44,6 +44,13 @@ while test -n "$1"; do nix-shell --packages nixpkgs-lint --run "nixpkgs-lint -f $TRAVIS_BUILD_DIR" ;; + nox) + echo "=== Fetching Nox from binary cache" + + # build nox silently so it's not in the log + nix-build "<nixpkgs>" -A nox + ;; + pr) if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then echo "=== No pull request found" @@ -55,7 +62,7 @@ while test -n "$1"; do token="--token $GITHUB_TOKEN" fi - nix-shell --packages nox git --run "nox-review pr --slug $TRAVIS_REPO_SLUG $token $TRAVIS_PULL_REQUEST" + nix-shell --packages nox --run "nox-review pr --slug $TRAVIS_REPO_SLUG $token $TRAVIS_PULL_REQUEST" fi ;; |