From 57271e51643147cbaa035a4e7089286d1e670c2f Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 23 Jul 2020 23:41:26 +0200
Subject: [PATCH] Fixing devtool-7

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

diff --git a/build.sh b/build.sh
index 552171e1a..8e7cb2f43 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
+	scl enable "devtoolset-7"
 fi
 
 if [ x"$hostname" == x"cifarm-ubuntu-node"  ]; then
-- 
GitLab