From 70212cc79cc2ef2f562d09622025ae062142da07 Mon Sep 17 00:00:00 2001
From: absingh <absingh@mpi-cbg.de>
Date: Fri, 8 Oct 2021 16:53:17 +0200
Subject: [PATCH] Rollback reinstall petsc for CI

---
 install | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install b/install
index a45c309fe..abae1d101 100755
--- a/install
+++ b/install
@@ -11,6 +11,7 @@ source script/update_openfpm
 source script/solve_python
 source script/install_gdbgui
 
+
 ### switch to the branch
 #b_switch=`git rev-parse --abbrev-ref HEAD`
 #b_switch=
@@ -118,8 +119,7 @@ if [ $upgrade_openfpm -eq 1 ]; then
 	update_openfpm upgrade
 	exit 0
 fi
-rm -rf $i_dir/PETSC
-echo "REMOVING PETSC"
+
 remove_old $i_dir $configure_options
 
 
-- 
GitLab