Make travis use "nox-review pr"

This should put an end to all the false rebuilds reported by travis.
2014-10-31 14:47:51 +01:00 · 2014-10-31 14:47:51 +01:00 · d7af81d2dc
parent b73816d26b
commit d7af81d2dc
1 changed files with 1 additions and 3 deletions
--- a/maintainers/scripts/travis-nox-review-pr.sh
+++ b/maintainers/scripts/travis-nox-review-pr.sh
@ -32,9 +32,7 @@ elif [[ $1 == build ]]; then
        nix-build pkgs/top-level/release.nix -A tarball
    else
        echo "=== Checking PR"
-        # The current HEAD is the PR merged into origin/master, so we compare
-        # against origin/master
-        nox-review wip --against origin/master
+        nox-review pr ${TRAVIS_PULL_REQUEST}
    fi
 else
    echo "$0: Unknown option $1" >&2