From 5e89d6ce73d4711ded86db6a82feb36cf785421d Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 18 Jan 2017 17:19:28 +0100
Subject: [PATCH] add missing double-quotes

---
 test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test.sh b/test.sh
index 4121404de..5f69f3e19 100644
--- a/test.sh
+++ b/test.sh
@@ -6,7 +6,7 @@
 FILES="usr/tests/hello usr/tests/hellof usr/tests/hello++ usr/tests/thr_hello usr/tests/pi usr/benchmarks/stream usr/benchmarks/basic"
 PROXY=/opt/hermit/bin/proxy
 
-if [ $TRAVIS_BRANCH == "production" ]
+if [ "$TRAVIS_BRANCH" == "production" ]
 then
   echo "No tests on production branch"
 else