diff --git a/install b/install index abae1d1019f2e8a8f8fa9f6eea765248895b015f..a45c309fe14a648b8ca78fa27338f42f0b89d382 100755 --- a/install +++ b/install @@ -11,7 +11,6 @@ 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= @@ -119,7 +118,8 @@ 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 diff --git a/script/conf_PETSC b/script/conf_PETSC index 9b30506ac5ad7a93f0c86dbcdae8358ce3d541dc..4ba0a1489258d84ed2910e3f722f8cc9d6a0f88f 100755 --- a/script/conf_PETSC +++ b/script/conf_PETSC @@ -2,7 +2,6 @@ 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"