From c6c85608613c6047752743513092aabecc5a472a Mon Sep 17 00:00:00 2001 From: mcarton Date: Tue, 19 Jul 2016 22:27:39 +0200 Subject: [PATCH] Maybe fix `deploy.sh` --- .github/deploy.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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