From 19fd5961104efb5c60c3eeab14dde094f5854847 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 23 Jul 2020 17:13:10 +0200
Subject: [PATCH] Fixing CentOS to use gcc 7.3.0

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

diff --git a/build.sh b/build.sh
index d49d6d5d0..552171e1a 100755
--- a/build.sh
+++ b/build.sh
@@ -21,7 +21,7 @@ echo "Branch name: $branch"
 echo "GPU compilation: $with_gpu"
 
 
-if [ x"$hostname" == x"cifarm-centos-node"  ]; then
+if [ x"$hostname" == x"cifarm-centos-node.mpi-cbg.de"  ]; then
 	echo "CentOS node"
 	scl enable devtoolset-7
 fi
-- 
GitLab