diff options
Diffstat (limited to 'makefiles/Makefile.top')
| -rw-r--r-- | makefiles/Makefile.top | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/makefiles/Makefile.top b/makefiles/Makefile.top index 9d3c680..caac166 100644 --- a/makefiles/Makefile.top +++ b/makefiles/Makefile.top @@ -48,6 +48,7 @@ # test Build and run test suite, using current settings. # coverage Determine test suite coverage (requires lcov) # profile Build with profiling support enabled (requires gprof) +# sanitize Build and run test suite, using ASAN and UBSAN # docs Produce documentation (requires doxygen) # dist Produce release tarball from latest git tag # clean Clean the build @@ -123,6 +124,8 @@ else ifeq ($(MAKECMDGOALS),profile) WANT_TEST := yes else ifeq ($(MAKECMDGOALS),coverage) WANT_TEST := yes +else ifeq ($(MAKECMDGOALS),sanitize) + WANT_TEST := yes else WANT_TEST := no endif @@ -231,6 +234,9 @@ coverage: __precov test $(Q)$(GENHTML) -o $(COVERAGEDIR) --num-spaces 2 \ $(COVERAGEDIR)/$(COMPONENT).info +# Build and test sanitizers +sanitize: test + # Build for profiling profile: __partial_clean test |