diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -103,6 +103,9 @@ gpptest: clean clangtest: clean $(MAKE) all CC=clang CFLAGS="-O3 -Werror" +sanitize: clean + $(MAKE) test CC=clang CFLAGS="-O3 -g -fsanitize=undefined" + staticAnalyze: clean scan-build -v $(MAKE) all CFLAGS=-g |