From 06966055383f3732cfc723f18f1b5b4db133a7cc Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sun, 26 Jul 2020 08:43:29 +0200
Subject: [PATCH] Changing from valfrind to adress sanitizer
---
build.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.sh b/build.sh
index dcc1aaac1..6fc115ac8 100755
--- a/build.sh
+++ b/build.sh
@@ -79,6 +79,7 @@ installation_dir="--prefix=$HOME/openfpm_install/$branch"
#echo "StrictHostKeyChecking=no" > $HOME/.ssh/config
#chmod 600 $HOME/.ssh/config
+foward_options=
install_options=
if [ x"$comp_type" == x"full" ]; then
install_options="-s"
@@ -90,7 +91,6 @@ else
install_options="-s -m"
fi
-foward_options=
if [ x"$comp_type" == x"se_class" ]; then
foward_options="--enable-se-class1 --with-action-on-error=THROW_ON_ERROR"
fi
--
GitLab