From d14e717537b59568fa590446df03dd6e5c9aff3b Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 23 Jul 2020 23:54:06 +0200
Subject: [PATCH] Try again to fix devtoolset

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

diff --git a/build.sh b/build.sh
index 27580430a..e99325f5f 100755
--- a/build.sh
+++ b/build.sh
@@ -23,7 +23,7 @@ echo "GPU compilation: $with_gpu"
 
 if [ x"$hostname" == x"cifarm-centos-node.mpi-cbg.de"  ]; then
 	echo "CentOS node"
-	scl enable devtoolset-7 bash
+	source /etc/scl/conf/devtoolset-7
 fi
 
 if [ x"$hostname" == x"cifarm-ubuntu-node"  ]; then
-- 
GitLab