summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 831f0d3..ca1f525 100644
--- a/Makefile
+++ b/Makefile
@@ -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