| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index 46475c7422cf1f9f277cf6e74ade1ea2a09f6f10..e7ffedd5fee33afe286dee9a3b7276329669817c 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -775,6 +775,8 @@ DEFINE_BOOL(age_code, true,
|
| DEFINE_BOOL(incremental_marking, true, "use incremental marking")
|
| DEFINE_BOOL(incremental_marking_wrappers, true,
|
| "use incremental marking for marking wrappers")
|
| +DEFINE_BOOL(object_grouping_in_incremental_finalization, true,
|
| + "enable object grouping in incremental finalization")
|
| DEFINE_INT(min_progress_during_incremental_marking_finalization, 32,
|
| "keep finalizing incremental marking as long as we discover at "
|
| "least this many unmarked objects")
|
|
|