From c3a38f2038b56881710f72545d6d84c340996294 Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Sun, 14 Nov 2021 17:07:38 +0100
Subject: [PATCH] Fixing installation of BOOST

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

diff --git a/build.sh b/build.sh
index 2fe9846..04c826c 100755
--- a/build.sh
+++ b/build.sh
@@ -15,6 +15,7 @@ fi
 if [ x"$hostname" == x"cifarm-ubuntu-node"  ]; then
         echo "Ubuntu node"
         export PATH="/opt/bin:$PATH"
+	rm -rf $HOME/openfpm_dependencies/openfpm_devices/BOOST
 fi
 
 mkdir src/config
-- 
GitLab