From 2167de0666c1b9bbc9950dc31fe113e18aef6c5d Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Wed, 9 Nov 2016 16:59:55 +0100
Subject: [PATCH] Fixing installation

---
 script/install_PETSC.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/install_PETSC.sh b/script/install_PETSC.sh
index d4f67ab9d..60268df90 100755
--- a/script/install_PETSC.sh
+++ b/script/install_PETSC.sh
@@ -11,7 +11,7 @@ fi
 
 source script/detect_gcc
 source script/discover_os
-detect_gcc_or_clang g++
+detect_compiler g++
 discover_os
 
 ##### if we are on osx we use gsed
-- 
GitLab