Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index f887418a2c472b0b7c4c4b0933184ff53203c80d..dbf2e17f1d33ab848de837ca82ce6e3055c7d735 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -573,6 +573,8 @@ DEFINE_BOOL(mask_constants_with_cookie, true, |
DEFINE_BOOL(lazy, true, "use lazy compilation") |
DEFINE_BOOL(trace_opt, false, "trace lazy optimization") |
DEFINE_BOOL(trace_opt_stats, false, "trace lazy optimization statistics") |
+DEFINE_BOOL(trace_file_names, false, |
+ "include file names in trace-opt/trace-deopt output") |
DEFINE_BOOL(opt, true, "use adaptive optimizations") |
DEFINE_BOOL(always_opt, false, "always try to optimize functions") |
DEFINE_BOOL(always_osr, false, "always try to OSR functions") |