diff --git a/script/install_PETSC.sh b/script/install_PETSC.sh
index 097435c1468b420089e0e9d74ef75a2dccd70e44..0d82eb10360aee8cb01ac3155e31447fdc14f04c 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