| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index aec048dade461325c7fa0f369d3ba491e0dc263b..7463741441752416e2e7afdfac2f2d8b463ade69 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -636,7 +636,6 @@ DEFINE_BOOL(age_code, true,
|
| "track un-executed functions to age code and flush only "
|
| "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(overapproximate_weak_closure, true,
|
| "overapproximate weak closer to reduce atomic pause time")
|
| DEFINE_INT(min_progress_during_object_groups_marking, 128,
|
|
|