diff options
Diffstat (limited to 'core')
| -rw-r--r-- | core/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/core/Makefile b/core/Makefile index 26f7fcf..4dd4e06 100644 --- a/core/Makefile +++ b/core/Makefile @@ -42,6 +42,9 @@ asan: clean ubsan: clean $(MAKE) CFLAGS_EXTRA='-fsanitize=undefined' +msan: clean + $(MAKE) CFLAGS_EXTRA='-g -fsanitize=memory' + valgrind: clean ${ALL} @for test in ${ALL}; do \ valgrind --leak-check=full --log-file="$$test.valgrind" "./$$test"; \ @@ -58,4 +61,4 @@ clean: @rm -f *.gcov *.gcda *.gcno @rm -f *.valgrind -.PHONY: clean debug coverage tis valgrind asan ubsan +.PHONY: clean debug coverage tis valgrind asan ubsan msan |