From acfa12d100a5965d3de2040abc1693eda73a0a51 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 15 Nov 2018 17:59:41 +0100
Subject: [PATCH] Fixing ubuntu MPI installation

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

diff --git a/build.sh b/build.sh
index 077108ee..d27da42f 100755
--- a/build.sh
+++ b/build.sh
@@ -9,11 +9,11 @@ echo "make target: $4"
 echo "compilation type: $5"
 echo "Branch name: $6"
 
-#if [ x"$3" == x"ubuntu"  ]; then
+if [ x"$3" == x"ubuntu"  ]; then
 #	rm -rf $HOME/openfpm_dependencies/openfpm_pdata/$6/*
 #	./script/install_MPI.sh $HOME/openfpm_dependencies/openfpm_pdata/$6/ 8
-#	export PATH="$HOME/openfpm_dependencies/openfpm_pdata/$6/MPI/bin/:$PATH"
-#fi
+	export PATH="$HOME/openfpm_dependencies/openfpm_pdata/$6/MPI/bin/:$PATH"
+fi
 
 #if [ x"$3" == x"osx"  ]; then
 #        rm -rf $HOME/openfpm_dependencies/openfpm_pdata/$6/OPENBLAS
-- 
GitLab