Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 07f60e77020e0fb56db75d4a1778e3146b1c8160..8243b4557aa3a199d619d0eebbd35492b3b599fd 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -881,6 +881,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) |
Camillo Bruni
2016/10/21 08:20:55
"runtime call stats" is by now probably an outdate
|
// snapshot-common.cc |
DEFINE_BOOL(profile_deserialization, false, |