diff --git a/script/update_openfpm b/script/update_openfpm index 9840c71de217850ad2af2bb02f04f0a541b79b82..49be94d69f80eb7844dd5e518a9dac5d0e65c1e2 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