diff options
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 #------------------------------------------------- |