From: mcarton <cartonmartin+git@gmail.com>
Date: Tue, 19 Jul 2016 20:27:39 +0000 (+0200)
Subject: Maybe fix `deploy.sh`
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c6c85608613c6047752743513092aabecc5a472a;p=rust.git

Maybe fix `deploy.sh`
---

diff --git a/.github/deploy.sh b/.github/deploy.sh
index 15b14e64a78..98b61ca7b52 100755
--- a/.github/deploy.sh
+++ b/.github/deploy.sh
@@ -44,7 +44,8 @@ cd out
 git config user.name "Travis CI"
 git config user.email "travis@ci.invalid"
 
-if [ -z "$(git diff --exit-code)" ]; then
+git diff --exit-code
+if [ $? != 1 ]; then
     echo "No changes to the output on this push; exiting."
     exit 0
 fi