From 37ed28d8492bc8ebf61fca42ad161cf73c220760 Mon Sep 17 00:00:00 2001
From: Markus Unterwaditzer <markus@unterwaditzer.net>
Date: Thu, 29 Sep 2016 16:24:52 +0200
Subject: [PATCH] Fix up hypothesis uploader again

---
 scripts/upload-hypothesis-db.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/upload-hypothesis-db.sh b/scripts/upload-hypothesis-db.sh
index c878ff1..362972d 100755
--- a/scripts/upload-hypothesis-db.sh
+++ b/scripts/upload-hypothesis-db.sh
@@ -1,13 +1,14 @@
 #!/bin/sh
 
+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
 
-set -e
 
 _is_dirty() {
     (! git diff-index --quiet HEAD $GIT_COMMIT_PATH) || [ "$(git status --porcelain $GIT_COMMIT_PATH | tail -n1)" != "" ]