Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 9920cb6c50ead13378ba7ec7fe93ae4f2abad57f..90919761c939dd9185c32fd08b19dfa88ee24224 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -840,6 +840,7 @@ DEFINE_BOOL(randomize_hashes, true, |
DEFINE_INT(hash_seed, 0, |
"Fixed seed to use to hash property keys (0 means random)" |
"(with snapshots this option cannot override the baked-in seed)") |
+DEFINE_BOOL(trace_rail, false, "trace RAIL mode") |
// runtime.cc |
DEFINE_BOOL(runtime_call_stats, false, "report runtime call counts and times") |