diff options
Diffstat (limited to 'core')
| -rw-r--r-- | core/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/Makefile b/core/Makefile index fc33232..92a06a1 100644 --- a/core/Makefile +++ b/core/Makefile @@ -43,7 +43,7 @@ ubsan: clean $(MAKE) CFLAGS_EXTRA='-fsanitize=undefined' msan: clean - $(MAKE) CFLAGS_EXTRA='-g -fsanitize=memory' + $(MAKE) CFLAGS_EXTRA='-fsanitize=memory -fsanitize-memory-track-origins' valgrind: clean ${ALL} @for test in ${ALL}; do \ |