From ce202b3e1bcd812fea77543d1ceb556d4236d1b6 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sun, 26 Jul 2020 08:47:56 +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 6fc115ac8..fce545abd 100755
--- a/build.sh
+++ b/build.sh
@@ -85,7 +85,7 @@ 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
+elif [ x"$comp_type" == x"asan" ]; then
foward_options="$foward_options --enable-asan"
else
install_options="-s -m"
--
GitLab