Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index a5bde3af23361bd75d896444d5a4f540bde9621e..63dfeecd4b674e8c23458d15d357b1a7fa687ba3 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -647,6 +647,7 @@ 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(concurrent_marking, false, "use concurrent marking") |
DEFINE_INT(min_progress_during_incremental_marking_finalization, 32, |
"keep finalizing incremental marking as long as we discover at " |
"least this many unmarked objects") |