diff --git a/script/update_openfpm b/script/update_openfpm index 22a256be0c8aef229d42f4e983c946ed6c0162dd..7874730ef5adb875fdb1a5f31cc5e14cf99c426e 100755 --- a/script/update_openfpm +++ b/script/update_openfpm @@ -1,4 +1,3 @@ -#! /bin/bash source script/show_solutions @@ -89,26 +88,30 @@ function update_openfpm() if [ x"$1" == x"update" -a x"$force_up" == x"" ]; then source $HOME/openfpm_vars sh autogen.sh - ./config.status if [ $? -ne 0 ]; then echo -e "Update summary\033[91;5;1m FAILED \033[0m" + return fi make if [ $? -ne 0 ]; then echo -e "Update summary\033[91;5;1m FAILED \033[0m" + return else echo -e "Update summary\033[92;5;1m SUCCEED \033[0m" echo -e "To make the update active do: \033[1m make install \033[0m" + return fi else #### Remove .deps for fresh install ./install $dir_prev_inst $for_opt if [ $? -ne 0 ]; then echo -e "Upgrade summary\033[91;5;1m FAILED \033[0m" + return else echo -e "Upgrade summary\033[92;5;1m SUCCEED \033[0m" echo -e "To make the upgrade active do: \033[1m make install \033[0m" rm force_upgrade + return fi fi