diff --git a/install b/install index a45c309fe14a648b8ca78fa27338f42f0b89d382..abae1d1019f2e8a8f8fa9f6eea765248895b015f 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