diff --git a/src/Makefile b/src/Makefile index 0eecd5500..8a385013b 100644 --- a/src/Makefile +++ b/src/Makefile @@ -408,7 +408,7 @@ noopt: $(MAKE) OPTIMIZATION="-O0" valgrind: - $(MAKE) OPTIMIZATION="-O0" MALLOC="libc" + $(MAKE) OPTIMIZATION="-O0" MALLOC="libc" CFLAGS="-DSANITIZE" CXXFLAGS="-DSANITIZE" helgrind: $(MAKE) OPTIMIZATION="-O0" MALLOC="libc" CFLAGS="-D__ATOMIC_VAR_FORCE_SYNC_MACROS"