From d7af81d2dcbc28a4185578f07301d2ee4cf767e2 Mon Sep 17 00:00:00 2001
From: Georges Dubus <georges.dubus@compiletoi.net>
Date: Fri, 31 Oct 2014 14:47:51 +0100
Subject: [PATCH] Make travis use "nox-review pr"

This should put an end to all the false rebuilds reported by travis.
---
 maintainers/scripts/travis-nox-review-pr.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh
index baee1baa11f5..1c117c6add9d 100755
--- 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