diff --git a/script/conf_PETSC b/script/conf_PETSC index 4ba0a1489258d84ed2910e3f722f8cc9d6a0f88f..9b30506ac5ad7a93f0c86dbcdae8358ce3d541dc 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"