| 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")
|
|
|