Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index cabd7bdbdf5411586e027fc19868f40de2547810..fe3e164be441e30fff78b1c1587f4f852e516121 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -886,6 +886,9 @@ DEFINE_BOOL(print_all_exceptions, false, |
// runtime.cc |
DEFINE_BOOL(runtime_call_stats, false, "report runtime call counts and times") |
+DEFINE_INT(runtime_stats, 0, |
+ "internal usage only for controlling runtime statistics") |
+DEFINE_VALUE_IMPLICATION(runtime_call_stats, runtime_stats, 1) |
// snapshot-common.cc |
DEFINE_BOOL(profile_deserialization, false, |