diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-06-06 16:10:30 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-06-16 11:28:42 +0200 |
| commit | 7ad5248c95aeceb85528bfbe2244feaad1416a8d (patch) | |
| tree | 4e49c0ec8eee7c602c0e6e6582f6eaa79d50c3c8 /compiler/rustc_session/src/options.rs | |
| parent | 68ac5abb067806a88464ddbfbd3c7eec877b488d (diff) | |
| download | rust-7ad5248c95aeceb85528bfbe2244feaad1416a8d.tar.gz rust-7ad5248c95aeceb85528bfbe2244feaad1416a8d.zip | |
Add parsing of `--json=timings`
Diffstat (limited to 'compiler/rustc_session/src/options.rs')
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index f76f258d00d..4daa3631fd6 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -410,6 +410,10 @@ top_level_options!( /// by the compiler. json_artifact_notifications: bool [TRACKED], + /// `true` if we're emitting JSON timings with the start and end of + /// high-level compilation sections + json_section_timings: bool [UNTRACKED], + /// `true` if we're emitting a JSON blob containing the unused externs json_unused_externs: JsonUnusedExterns [UNTRACKED], |