From 98c72609db054a035dd877f3e14023f3bc95a2c8 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 15 Nov 2018 02:04:43 +0100
Subject: [PATCH] Checking MPI on ubuntu

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

diff --git a/build.sh b/build.sh
index ce903573..b0b5eff5 100755
--- a/build.sh
+++ b/build.sh
@@ -11,6 +11,7 @@ echo "Branch name: $6"
 
 if [ x"$3" == x"ubuntu"  ]; then
 	export PATH="$PATH:$HOME/openfpm_dependencies/openfpm_pdata/$6/MPI/bin"
+	echo "$PATH"
 	which mpic++
 fi
 
-- 
GitLab