diff --git a/src/Makefile b/src/Makefile index 81ccece77..b85500cfe 100644 --- a/src/Makefile +++ b/src/Makefile @@ -425,7 +425,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"