From 201063826f37adf34500eb75bf433549ef391c84 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Wed, 12 Jul 2017 21:33:05 +0200
Subject: [PATCH] Fixing branch switch

---
 install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install b/install
index b75fc34f..d66b992f 100755
--- a/install
+++ b/install
@@ -12,7 +12,7 @@ source script/update_openfpm
 ### switch to the branch
 
 b_switch=$(cat switch_branch)
-if [ x"$b_switch" != x"" ]
+if [ x"$b_switch" != x"" ]; then
 	git checkout $b_switch
 fi
 
-- 
GitLab