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") |