| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index f5d561e8d34649eec23c2079e3adbe2f36c58b87..24c081f91c66a3363f24590b2b7c851b1656d452 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -668,7 +668,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_BOOL(concurrent_marking, V8_CONCURRENT_MARKING, "use concurrent marking")
|
| DEFINE_BOOL(trace_concurrent_marking, false, "trace concurrent marking")
|
| DEFINE_INT(min_progress_during_incremental_marking_finalization, 32,
|
| "keep finalizing incremental marking as long as we discover at "
|
|
|