From 560b3536abcde380f9e062a2edfa514fa5f39d2f Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Fri, 14 Jul 2017 08:01:54 +0200
Subject: [PATCH] Latest

---
 build.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/build.sh b/build.sh
index 051df05cb..ad569cfa5 100755
--- a/build.sh
+++ b/build.sh
@@ -6,6 +6,13 @@ echo "Directory: $1"
 echo "Machine: $2"
 echo "Branch name: $5"
 
+#### If you have a dep_dir file change the branch name to the dep_dir
+
+dep_dir=$(cat dep_dir)
+if [ x"$dep_dir" != x"" ]; then
+  set -- "${@:1:4}" "$dep_dir"
+fi
+
 mkdir src/config
 mkdir openfpm_numerics/src/config
 
-- 
GitLab