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

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

diff --git a/build_io.sh b/build_io.sh
index 10ef3c76..277da959 100755
--- a/build_io.sh
+++ b/build_io.sh
@@ -23,6 +23,8 @@ then
  sh ./configure --disable-gpu
 elif [ "$2" == "gin" ]
 then
+ module load gcc/4.8.2
+ module load boost/1.54.0
  sh ./configure --with-boost=/sw/apps/boost/1.54.0/
 else
  sh ./configure
-- 
GitLab