From ba7fd75c46652c222f10580f8acab85edf6d11b3 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sun, 26 Jul 2020 08:54:57 +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 fce545abd..3ea68c154 100755
--- a/build.sh
+++ b/build.sh
@@ -85,14 +85,14 @@ 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
if [ x"$comp_type" == x"se_class" ]; then
foward_options="--enable-se-class1 --with-action-on-error=THROW_ON_ERROR"
+elif [ x"$comp_type" == x"asan" ]; then
+ foward_options="$foward_options --enable-asan"
fi
echo "Installing with: ./install $gpu_support -i $dependency_dir $install_options -c \"$installation_dir $foward_options \" "
--
GitLab