Index: Makefile |
diff --git a/Makefile b/Makefile |
index 07549a369b8a21e75c71ce7c59e47f903cccac04..7ebfc04314e064e5be6bbbbc80dd3544d0a5868a 100644 |
--- a/Makefile |
+++ b/Makefile |
@@ -61,6 +61,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 |