Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 99906ef4b7ff655269e55edd57a3e68c31823a8b..0208ecb1b1180c1b6c9fdec495a56eb12678d752 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -393,7 +393,9 @@ DEFINE_bool(trace_external_memory, false, |
DEFINE_bool(collect_maps, true, |
"garbage collect maps from which no objects can be reached") |
DEFINE_bool(flush_code, true, |
- "flush code that we expect not to use again before full gc") |
+ "flush code that we expect not to use again during full gc") |
+DEFINE_bool(flush_code_incrementally, false, |
+ "flush code that we expect not to use again incrementally") |
Toon Verwaest
2012/11/06 11:49:16
... again (full gc).
... again (incrementally).
Michael Starzinger
2012/11/06 11:51:22
Done.
|
DEFINE_bool(incremental_marking, true, "use incremental marking") |
DEFINE_bool(incremental_marking_steps, true, "do incremental marking steps") |
DEFINE_bool(trace_incremental_marking, false, |