gistfile1.txt

$ git diff
diff --git a/prepare_dir.sh b/prepare_dir.sh
index 69b122d..ebb9e8c 100755
--- a/prepare_dir.sh
+++ b/prepare_dir.sh
@@ -85,7 +85,7 @@ MESSAGE="Checked out a new branch for this pull request, and merged it to $MERGE
 
 # If this the merge branch is not master, also merge to master to be sure all
 # work is combined.
-if [[ "$MERGE_BRANCH" -ne "master" ]]; then
+if [ "$MERGE_BRANCH" != "master" ]; then
   git checkout master
   git pull
   git merge $MERGE_BRANCH -m "Jenkins test merge into master."