diff options
-rwxr-xr-x | BUILD/compile-pentium64-asan-max | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BUILD/compile-pentium64-asan-max b/BUILD/compile-pentium64-asan-max index 666a0d89d8c..64d7acc0aa3 100755 --- a/BUILD/compile-pentium64-asan-max +++ b/BUILD/compile-pentium64-asan-max @@ -17,7 +17,7 @@ path=`dirname $0` . "$path/SETUP.sh" -extra_flags="$pentium64_cflags $debug_cflags -lasan -O -g -fsanitize=address" +extra_flags="$pentium64_cflags $debug_cflags -lasan -O -g -fsanitize=address -DDBUG_ASSERT_AS_PRINTF" extra_configs="$pentium_configs $debug_configs $valgrind_configs $max_configs $disable_asan_plugins" export LDFLAGS="-ldl" |