Index: Makefile |
diff --git a/Makefile b/Makefile |
index 99a220d3106026594956360d0ecb8ced3fde049d..8db3193860cdc8407ae7668fc632c783507ced67 100644 |
--- a/Makefile |
+++ b/Makefile |
@@ -62,6 +62,13 @@ endif |
ifeq ($(snapshot), off) |
GYPFLAGS += -Dv8_use_snapshot='false' |
endif |
+# extrachecks=on/off |
+ifeq ($(extrachecks), on) |
+ GYPFLAGS += -Dv8_enable_extra_checks=1 |
+endif |
+ifeq ($(extrachecks), off) |
+ GYPFLAGS += -Dv8_enable_extra_checks=0 |
+endif |
# gdbjit=on |
ifeq ($(gdbjit), on) |
GYPFLAGS += -Dv8_enable_gdbjit=1 |