Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 9b1ed1d031f978df5352ca6132cf316ea8175c5c..8097048fc82cf85d456697a8e6e0c5b010755e81 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -465,6 +465,7 @@ DEFINE_bool(flush_code, true, |
"flush code that we expect not to use again (during full gc)") |
DEFINE_bool(flush_code_incrementally, true, |
"flush code that we expect not to use again (incrementally)") |
+DEFINE_bool(trace_code_flushing, false, "trace code flushing progress") |
DEFINE_bool(age_code, true, |
"track un-executed functions to age code and flush only " |
"old code") |