From 52ffe793b16e4ebc7b75f4f79fff10d14c1be53d Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 13 Jul 2017 01:11:35 +0200
Subject: [PATCH] fixing branch switch
---
install | 3 +++
openfpm_io | 2 +-
2 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/install b/install
index 7906e1df2..019e4d85d 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 575fbc370..1259c12b6 160000
--- a/openfpm_io
+++ b/openfpm_io
@@ -1 +1 @@
-Subproject commit 575fbc3703857caf31fb9266921880eedbad022c
+Subproject commit 1259c12b6880bce2ca868bdbfbc16a7cd75bd8a9
--
GitLab