diff --git a/install b/install index 7906e1df28430b0a9eccad330584cb3aebb391e4..019e4d85d9ad56bea42d1348616e70baf0596a9c 100755 --- a/install +++ b/install @@ -14,6 +14,9 @@ source script/update_openfpm b_switch=$(cat switch_branch) if [ x"$b_switch" != x"" ]; then git checkout $b_switch + rm switch_branch + ./install "$@" + exit 0 fi ## Check that your home is not empty diff --git a/openfpm_io b/openfpm_io index 575fbc3703857caf31fb9266921880eedbad022c..1259c12b6880bce2ca868bdbfbc16a7cd75bd8a9 160000 --- a/openfpm_io +++ b/openfpm_io @@ -1 +1 @@ -Subproject commit 575fbc3703857caf31fb9266921880eedbad022c +Subproject commit 1259c12b6880bce2ca868bdbfbc16a7cd75bd8a9