Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index a3cb2d3b0828c31f69ed3724fa1d1a1b4c6b33b9..a6b930efb9892ea3f37a1abc5c389589465773fc 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -670,8 +670,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(finalize_marking_incrementally, true, |
- "finalize marking in incremental steps") |
DEFINE_INT(min_progress_during_incremental_marking_finalization, 32, |
"keep finalizing incremental marking as long as we discover at " |
"least this many unmarked objects") |