summaryrefslogtreecommitdiffstats
path: root/makefile
diff options
context:
space:
mode:
authorGravatarGravatar Oliver Stöneberg <firewave@users.noreply.github.com>2018-01-12 01:18:12 +0100
committerGravatarGravatar R. Belmont <rb6502@users.noreply.github.com>2018-01-11 19:18:12 -0500
commit35e5a752439c927bd762518370d039f510975225 (patch)
tree2c1c747209882cf77a438a13002c7420a8335a4e /makefile
parentb8632487b804e106c32b127d455206a5d53fbb80 (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--makefile6
1 files changed, 5 insertions, 1 deletions
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
#-------------------------------------------------