diff --git a/script/update_openfpm b/script/update_openfpm index 7874730ef5adb875fdb1a5f31cc5e14cf99c426e..1e5b9cd1e7eba0e4cca8b40416b4070dbcfcc41e 100755 --- a/script/update_openfpm +++ b/script/update_openfpm @@ -88,6 +88,9 @@ function update_openfpm() if [ x"$1" == x"update" -a x"$force_up" == x"" ]; then source $HOME/openfpm_vars sh autogen.sh + # Reconfigure + conf_command=$(cat config.log) + $(conf_command) if [ $? -ne 0 ]; then echo -e "Update summary\033[91;5;1m FAILED \033[0m" return