From 35e5a752439c927bd762518370d039f510975225 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Oliver=20St=C3=B6neberg?= Date: Fri, 12 Jan 2018 01:18:12 +0100 Subject: restored SANITIZE make option (#3043) * restored basic support for SANITIZE make option * disabled some unwanted UBSAN checks / enabled nullability checks / enabled ASAN use-after-scope checks (nw) --- makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'makefile') diff --git a/makefile b/makefile index 3e9b682b959..bfe449b759a 100644 --- a/makefile +++ b/makefile @@ -40,7 +40,7 @@ # DEBUG = 1 # PROFILER = 1 -# SANITIZE = 1 +# SANITIZE = # PTR64 = 1 # BIGENDIAN = 1 @@ -781,6 +781,10 @@ endif ifdef WEBASSEMBLY PARAMS += --WEBASSEMBLY='$(WEBASSEMBLY)' endif + +ifdef SANITIZE +PARAMS += --SANITIZE='$(SANITIZE)' +endif #------------------------------------------------- # All scripts #------------------------------------------------- -- cgit v1.2.3