| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index d69ab89cbc1fe3078d1279f2caa57719784c2e3f..d358a20baa67031bcee6ad9e6b53a9d1f3af4475 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -526,6 +526,9 @@ DEFINE_bool(age_code, true,
|
| "old code (required for code flushing)")
|
| DEFINE_bool(incremental_marking, true, "use incremental marking")
|
| DEFINE_bool(incremental_marking_steps, true, "do incremental marking steps")
|
| +DEFINE_bool(always_incremental_marking, false, "always use incremental marking")
|
| +DEFINE_implication(always_incremental_marking, incremental_marking)
|
| +DEFINE_implication(always_incremental_marking, incremental_marking_steps)
|
| DEFINE_bool(trace_incremental_marking, false,
|
| "trace progress of the incremental marking")
|
| DEFINE_bool(track_gc_object_stats, false,
|
|
|