summary refs log tree commit diff
path: root/maintainers
diff options
context:
space:
mode:
authorGeorges Dubus <georges.dubus@numergy.com>2014-09-23 14:31:01 +0200
committerGeorges Dubus <georges.dubus@numergy.com>2014-09-23 14:31:01 +0200
commitaf2199e9adff61b9b009b63ddb816b1916b6686b (patch)
tree82359efef31ef27481e4876dd11cfa03c9b76922 /maintainers
parent9f057131f1e6c6510d7fca70276bfcf798f86097 (diff)
downloadnixpkgs-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-xmaintainers/scripts/travis-nox-review-pr.sh9
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