From 020ac8780e12f6f764223c0ae66421bfd78741a6 Mon Sep 17 00:00:00 2001
From: absingh <absingh@mpi-cbg.de>
Date: Fri, 8 Oct 2021 15:43:22 +0200
Subject: [PATCH] CI PETSC REINSTALL

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

diff --git a/script/install_PETSC.sh b/script/install_PETSC.sh
index 097435c14..0d82eb103 100755
--- a/script/install_PETSC.sh
+++ b/script/install_PETSC.sh
@@ -9,7 +9,8 @@ FC=$6
 
 if [ -d "$1/PETSC" -a -f "$1/PETSC/include/petsc.h" ]; then
   echo "PETSC is already installed"
-  exit 0
+  echo "BUT WE ARE REINSTALLING FOR CI"
+  #exit 0
 fi
 
 # Detect gcc pr clang
-- 
GitLab