Fix another bug in uploading script

This commit is contained in:
Markus Unterwaditzer 2016-09-29 18:45:13 +02:00
parent 0e2d9baf39
commit c9d92ea6eb

View file

@ -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