summaryrefslogtreecommitdiffstatshomepage
path: root/makefile
diff options
context:
space:
mode:
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
#-------------------------------------------------