From db845258ee57c23770d1d4d50dcee8051f3e1098 Mon Sep 17 00:00:00 2001
From: absingh <absingh@mpi-cbg.de>
Date: Fri, 8 Oct 2021 15:47:04 +0200
Subject: [PATCH] CI PETSC REMOVE
---
script/conf_PETSC | 1 +
1 file changed, 1 insertion(+)
diff --git a/script/conf_PETSC b/script/conf_PETSC
index 4ba0a1489..9b30506ac 100755
--- a/script/conf_PETSC
+++ b/script/conf_PETSC
@@ -2,6 +2,7 @@
function conf_PETSC()
{
+ rm -rf $i_dir/PETSC
if [ -d "$i_dir/PETSC" ]; then
configure_options="$configure_options --with-petsc=$i_dir/PETSC "
lin_alg_dir="$lin_alg_dir -L$i_dir/PETSC/lib"
--
GitLab