travis: Exit loop when no differences to be pushed.

timvideos · Jul 22, 2017 · 7b2c12a · 7b2c12a
1 parent 0655de1
commit 7b2c12a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis/build.sh b/.travis/build.sh
@@ -366,7 +366,7 @@ if [ ! -z "$PREBUILT_DIR" ]; then
 		echo
 		echo "Changes to be pushed (Try $i)"
 		echo "---------------------------------------------"
-		git diff origin/master --stat=1000,1000 && break
+		git diff origin/master --stat=1000,1000 --exit-code && break
 		echo
 		echo "Pushing (Try $i)"
 		echo "---------------------------------------------"