| 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,
|
|
|