From fe3db864b933bfb88ab496568a8b63927814b693 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Mon, 5 Nov 2018 23:05:13 +0100
Subject: [PATCH] Testing CI with pdata

---
 build.sh | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/build.sh b/build.sh
index b30f72b1d..e28a11378 100755
--- a/build.sh
+++ b/build.sh
@@ -18,7 +18,7 @@ fi
 
 dep_dir=$(cat dep_dir)
 if [ x"$dep_dir" != x"" ]; then
-  set -- "${@:1:5}" "$dep_dir"
+  branch=$dep_dir
 fi
 
 mkdir src/config
@@ -106,13 +106,9 @@ else
  if [ x"$2" == x"sbalzarini-mac-15" ]; then
   installation_dir="--prefix=/Users/jenkins/openfpm_install"
  else
-  installation_dir="--prefix=$HOME/openfpm_dependencies/openfpm_pdata/$6"
+  installation_dir="--prefix=$HOME/openfpm_dependencies/openfpm_pdata/$branch"
  fi
 
- echo "Installation dir: $installation_dir"
-
- exit 1
-
  mkdir $HOME/openfpm_dependencies/openfpm_pdata/$branch
  if [ x"$4" == x"full" ]; then
   ./install -i $HOME/$branch  -s -c "$installation_dir"
-- 
GitLab