From 386907671c74cb987e9dc776e98e1800d8bde3de Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sun, 31 Mar 2019 01:54:19 +0100
Subject: [PATCH] Fixing update
---
script/update_openfpm | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/script/update_openfpm b/script/update_openfpm
index 22a256be0..7874730ef 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
--
GitLab