From 6b105496a814653dc2aa49bb1723d637eeb2a884 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 18 Jan 2017 18:01:19 +0100
Subject: [PATCH] add missing ;

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

diff --git a/test.sh b/test.sh
index cef7bb6c9..256f9f071 100644
--- a/test.sh
+++ b/test.sh
@@ -10,8 +10,7 @@ BRANCH="production"
 echo $TRAVIS_BRANCH
 echo $BRANCH
 
-if [ "$TRAVIS_BRANCH" == "$BRANCH" ]
-then
+if [ "$TRAVIS_BRANCH" == "$BRANCH" ]; then
   echo "No tests on production branch"
 else
   for f in $FILES; do echo "check $f..."; $PROXY $f || exit 1; done