Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index e1a608ba111ab2591ec5be8eac89560a7a7c80f1..6ff312eabe3b6db9158bc28f2906ccdf734e248e 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -262,6 +262,9 @@ DEFINE_bool(collect_maps, true, |
"garbage collect maps from which no objects can be reached") |
DEFINE_bool(flush_code, false, |
"flush code that we expect not to use again before full gc") |
+DEFINE_bool(incremental_marking, true, "use incremental marking") |
+DEFINE_bool(trace_incremental_marking, false, |
+ "trace progress of the incremental marking") |
// v8.cc |
DEFINE_bool(use_idle_notification, true, |