From 30bb98a689bbab6e68775a5ddfaad2eb251a8b47 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Wed, 12 Jul 2017 19:48:54 +0200
Subject: [PATCH] Fixing update
---
script/update_openfpm | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/script/update_openfpm b/script/update_openfpm
index 9840c71d..49be94d6 100755
--- a/script/update_openfpm
+++ b/script/update_openfpm
@@ -53,7 +53,10 @@ function update_openfpm()
git checkout $branch
git submodule update
- if [ x"$1" == x"update" ]; then
+ #### Check if we have to force upgrade
+ force_up=$(cat force_upgrade)
+
+ if [ x"$1" == x"update" -a x"$force_up" == x"no" ]; then
sh autogen.sh
./config.status
if [ $? -ne 0 ]; then
--
GitLab