From 059daaeaed0eee4fcca7e7d3f009cadf519517d9 Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Sun, 14 Nov 2021 18:25:45 +0100
Subject: [PATCH] Check
---
build.sh | 1 -
1 file changed, 1 deletion(-)
diff --git a/build.sh b/build.sh
index c74061c..d788465 100755
--- a/build.sh
+++ b/build.sh
@@ -18,7 +18,6 @@ if [ x"$hostname" == x"cifarm-ubuntu-node.mpi-cbg.de" ]; then
fi
mkdir src/config
-rm -rf $HOME/openfpm_dependencies/openfpm_devices/BOOST
if [ ! -d $HOME/openfpm_dependencies/openfpm_devices/BOOST ]; then
if [ x"$hostname" == x"cifarm-mac-node" ]; then
--
GitLab