| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index 66921aba8dad6192a76b84b9efb3753b967ae06b..c6d0b54995c37e29e993bef72d27c3421a85af15 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -669,7 +669,13 @@ 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, V8_CONCURRENT_MARKING, "use concurrent marking")
|
| +#ifdef V8_CONCURRENT_MARKING
|
| +#define V8_CONCURRENT_MARKING_BOOL true
|
| +#else
|
| +#define V8_CONCURRENT_MARKING_BOOL false
|
| +#endif
|
| +DEFINE_BOOL(concurrent_marking, V8_CONCURRENT_MARKING_BOOL,
|
| + "use concurrent marking")
|
| DEFINE_BOOL(trace_concurrent_marking, false, "trace concurrent marking")
|
| DEFINE_BOOL(minor_mc_parallel_marking, true,
|
| "use parallel marking for the young generation")
|
|
|