From 8fc9ccf769de756ceb189c13ed52ef5583e515ee Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sun, 31 Mar 2019 01:57:32 +0100
Subject: [PATCH] Fixing update
---
script/update_openfpm | 3 +++
1 file changed, 3 insertions(+)
diff --git a/script/update_openfpm b/script/update_openfpm
index 7874730ef..1e5b9cd1e 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
--
GitLab