diff options
| author | bors <bors@rust-lang.org> | 2023-11-18 07:04:18 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-11-18 07:04:18 +0000 |
| commit | b7b919cb07d63baf4e98f6613592798b69bbb45f (patch) | |
| tree | 7e677590c7756f4b64171518f38885916315a7ed /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | ee48a3f24121d42ba32b69856d6d6e22ae01d8c7 (diff) | |
| parent | abdfe4a79af1367fa0873329ba44dfddeb2d6387 (diff) | |
| download | rust-b7b919cb07d63baf4e98f6613592798b69bbb45f.tar.gz rust-b7b919cb07d63baf4e98f6613592798b69bbb45f.zip | |
Auto merge of #3174 - RalfJung:rustc-git, r=RalfJung
miri script: fix RUSTC_GIT error message Making this a flag is tricky since our command-line parsing is pretty crude. Fixes https://github.com/rust-lang/miri/issues/3173
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions