From 9c571b6c5e9f2ce174c945a00c505f7ede0dc8a8 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Tue, 21 Feb 2017 20:04:37 +0100
Subject: [PATCH] Fixing update system

---
 script/update_openfpm | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/script/update_openfpm b/script/update_openfpm
index 1bfdbc5f..90bb5335 100755
--- a/script/update_openfpm
+++ b/script/update_openfpm
@@ -45,7 +45,16 @@ function update_openfpm()
 
   sh autogen.sh
   ./config.status
-  make install
+  if [ $? -ne 0 ]; then
+    echo -e "Update summary\033[91;5;1m FAILED \033[0m"
+  fi
+  make
+  if [ $? -ne 0 ]; then
+    echo -e "Update summary\033[91;5;1m FAILED \033[0m"
+  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"
+  fi
 
 }
 
-- 
GitLab