Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 8cbfccbf7e7f5af80730a36a2daa26372f8f381f..e29511253025cb4cddf85cf9abf95e42299f89b6 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -657,7 +657,7 @@ |
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, 32, |
+DEFINE_INT(min_progress_during_incremental_marking_finalization, 128, |
"keep finalizing incremental marking as long as we discover at " |
"least this many unmarked objects") |
DEFINE_INT(max_incremental_marking_finalization_rounds, 3, |