From b15c88bb81a4297ef2ed4def3f1fe9a2c896b05e Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sat, 27 Jun 2015 10:23:15 +0200
Subject: [PATCH] Fixing script for jenkins

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

diff --git a/build_io.sh b/build_io.sh
index 0eb41017..10ef3c76 100755
--- a/build_io.sh
+++ b/build_io.sh
@@ -21,7 +21,7 @@ sh ./autogen.sh
 if [ "$2" == "master" ]
 then
  sh ./configure --disable-gpu
-else if [ "$2" == "gin" ]
+elif [ "$2" == "gin" ]
 then
  sh ./configure --with-boost=/sw/apps/boost/1.54.0/
 else
-- 
GitLab