From 9f7d9aea13b2897c68a523f051b72e55174b684d Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sun, 26 Jul 2020 08:35:51 +0200
Subject: [PATCH] Changing from valfrind to adress sanitizer
---
build.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/build.sh b/build.sh
index fca1a4773..dcc1aaac1 100755
--- a/build.sh
+++ b/build.sh
@@ -84,6 +84,8 @@ if [ x"$comp_type" == x"full" ]; then
install_options="-s"
elif [ x"$comp_type" == x"intel" ]; then
install_options=" "
+elif [ x"comp_type" == x"asan" ]; then
+ foward_options="$foward_options --enable-asan"
else
install_options="-s -m"
fi
@@ -93,8 +95,6 @@ if [ x"$comp_type" == x"se_class" ]; then
foward_options="--enable-se-class1 --with-action-on-error=THROW_ON_ERROR"
fi
-
-
echo "Installing with: ./install $gpu_support -i $dependency_dir $install_options -c \"$installation_dir $foward_options \" "
./install $gpu_support -i $dependency_dir $install_options -c "$installation_dir $foward_options "
if [ $? -ne 0 ]; then
--
GitLab