diff options
author | Georges Dubus <georges.dubus@numergy.com> | 2014-09-23 14:31:01 +0200 |
---|---|---|
committer | Georges Dubus <georges.dubus@numergy.com> | 2014-09-23 14:31:01 +0200 |
commit | af2199e9adff61b9b009b63ddb816b1916b6686b (patch) | |
tree | 82359efef31ef27481e4876dd11cfa03c9b76922 /maintainers | |
parent | 9f057131f1e6c6510d7fca70276bfcf798f86097 (diff) | |
download | nixpkgs-af2199e9adff61b9b009b63ddb816b1916b6686b.tar nixpkgs-af2199e9adff61b9b009b63ddb816b1916b6686b.tar.gz nixpkgs-af2199e9adff61b9b009b63ddb816b1916b6686b.tar.bz2 nixpkgs-af2199e9adff61b9b009b63ddb816b1916b6686b.tar.lz nixpkgs-af2199e9adff61b9b009b63ddb816b1916b6686b.tar.xz nixpkgs-af2199e9adff61b9b009b63ddb816b1916b6686b.tar.zst nixpkgs-af2199e9adff61b9b009b63ddb816b1916b6686b.zip |
Fixes to the travis script
- Build 4 jobs at a time (might help with the timeout) - Be quiet with pip (should make the output more readable)
Diffstat (limited to 'maintainers')
-rwxr-xr-x | maintainers/scripts/travis-nox-review-pr.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh index 1fe4ed4f3d2..5b0ef380f9a 100755 --- a/maintainers/scripts/travis-nox-review-pr.sh +++ b/maintainers/scripts/travis-nox-review-pr.sh @@ -7,8 +7,11 @@ source $HOME/.nix-profile/etc/profile.d/nix.sh # Make sure we can use hydra's binary cache sudo mkdir /etc/nix -echo "binary-caches = http://cache.nixos.org http://hydra.nixos.org" | sudo tee /etc/nix/nix.conf -echo "trusted-binary-caches = http://hydra.nixos.org" | sudo tee -a /etc/nix/nix.conf +sudo tee /etc/nix/nix.conf <<EOF +binary-caches = http://cache.nixos.org http://hydra.nixos.org +trusted-binary-caches = http://hydra.nixos.org +build-max-jobs = 4 +EOF if [ "${TRAVIS_PULL_REQUEST}" = "false" ]; then echo "Not a pull request, checking evaluation" @@ -18,7 +21,7 @@ fi echo "Installing nox" git clone https://github.com/madjar/nox -pip install -e nox +pip --quiet install -e nox echo "Reviewing PR" # The current HEAD is the PR merged into origin/master, so we compare |