From c9d92ea6eb67cd94288f28dcba745c94eaab4ea8 Mon Sep 17 00:00:00 2001 From: Markus Unterwaditzer Date: Thu, 29 Sep 2016 18:45:13 +0200 Subject: [PATCH] Fix another bug in uploading script --- scripts/upload-hypothesis-db.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/upload-hypothesis-db.sh b/scripts/upload-hypothesis-db.sh index 3751b0a..e7e662f 100755 --- a/scripts/upload-hypothesis-db.sh +++ b/scripts/upload-hypothesis-db.sh @@ -4,7 +4,7 @@ set -ex GIT_COMMIT_PATH="$(dirname $0)/../.hypothesis/examples" -if [ "$TRAVIS_PULL_REQUEST" = "false" ]; then +if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then echo "Not building on pull request." exit 0 fi