diff options
| author | Trevor Gross <t.gross35@gmail.com> | 2024-08-07 20:49:03 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-07 20:49:03 -0500 |
| commit | ca5e8a7c4dd9daff576f3181745f496c80835d1c (patch) | |
| tree | 28d0189410cd86b7b856336e8405ab1c799b50ae /compiler/rustc_session | |
| parent | 1d820dc9a6f7310850337789a4a0c0dd739db55e (diff) | |
| parent | 5212c759076c4b4ada74c86979bb298ec0a8a5fb (diff) | |
| download | rust-ca5e8a7c4dd9daff576f3181745f496c80835d1c.tar.gz rust-ca5e8a7c4dd9daff576f3181745f496c80835d1c.zip | |
Rollup merge of #128702 - yaahc:metrics-flag, r=estebank
Add -Zmetrics-dir=PATH to save diagnostic metadata to disk r? ``@estebank``
Diffstat (limited to 'compiler/rustc_session')
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index bf54aae1cfe..4b87f5d62b2 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -1827,6 +1827,8 @@ options! { the same values as the target option of the same name"), meta_stats: bool = (false, parse_bool, [UNTRACKED], "gather metadata statistics (default: no)"), + metrics_dir: Option<PathBuf> = (None, parse_opt_pathbuf, [UNTRACKED], + "stores metrics about the errors being emitted by rustc to disk"), mir_emit_retag: bool = (false, parse_bool, [TRACKED], "emit Retagging MIR statements, interpreted e.g., by miri; implies -Zmir-opt-level=0 \ (default: no)"), |