From 65569f9f9f66969287e199fb9ee44807708f1cdd Mon Sep 17 00:00:00 2001 From: prasadtalasila Date: Mon, 4 Dec 2017 07:42:20 +0530 Subject: [PATCH] minor fix --- script/docs_auto_deploy.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/docs_auto_deploy.sh b/script/docs_auto_deploy.sh index b27ba31..b0a8328 100644 --- a/script/docs_auto_deploy.sh +++ b/script/docs_auto_deploy.sh @@ -60,7 +60,7 @@ git config user.email "$COMMIT_AUTHOR_EMAIL" git diff --exit-code > /dev/null || exitcode=$? echo "git diff exit code: $exitcode" -if [ -z $(git diff --exit-code > /dev/null) ]; then +if [ -z `git diff --exit-code > /dev/null` ]; then echo "No changes to the documentation on this push; exiting." exit 0 fi