From 5f3da590c431a0641698fa7758b2a996bdbcd459 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Wed, 14 Nov 2018 21:48:06 +0100
Subject: [PATCH] Reinstalling OPENBLAS

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

diff --git a/build.sh b/build.sh
index 81f15d73..cdee8362 100755
--- a/build.sh
+++ b/build.sh
@@ -10,9 +10,14 @@ echo "compilation type: $5"
 echo "Branch name: $6"
 
 if [ x"$3" == x"ubuntu"  ]; then
-	echo "UBUNTU"
+	rm -rf $HOME/openfpm_dependencies/openfpm_pdata/$6/OPENBLAS
 fi
 
+if [ x"$3" == x"osx"  ]; then
+        rm -rf $HOME/openfpm_dependencies/openfpm_pdata/$6/OPENBLAS
+fi
+
+
 if [ x"$6" == x"" ]; then
   branch=$(git ls-remote --heads origin | grep $(git rev-parse HEAD) | cut -d / -f 3)
 else
-- 
GitLab