diff --git a/build.sh b/build.sh index c74061c85c84a9e741b28a708ee2491b07d5aeef..d788465b3460ab470baeff0a94842728d369f90e 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