| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index e29511253025cb4cddf85cf9abf95e42299f89b6..8cbfccbf7e7f5af80730a36a2daa26372f8f381f 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -657,7 +657,7 @@ DEFINE_BOOL(age_code, true,
|
| DEFINE_BOOL(incremental_marking, true, "use incremental marking")
|
| DEFINE_BOOL(finalize_marking_incrementally, true,
|
| "finalize marking in incremental steps")
|
| -DEFINE_INT(min_progress_during_incremental_marking_finalization, 128,
|
| +DEFINE_INT(min_progress_during_incremental_marking_finalization, 32,
|
| "keep finalizing incremental marking as long as we discover at "
|
| "least this many unmarked objects")
|
| DEFINE_INT(max_incremental_marking_finalization_rounds, 3,
|
|
|