diff options
author | 2018-01-12 01:18:12 +0100 | |
---|---|---|
committer | 2018-01-11 19:18:12 -0500 | |
commit | 35e5a752439c927bd762518370d039f510975225 (patch) | |
tree | 2c1c747209882cf77a438a13002c7420a8335a4e /makefile | |
parent | b8632487b804e106c32b127d455206a5d53fbb80 (diff) |
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)
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 #------------------------------------------------- |