diff options
| author | bors <bors@rust-lang.org> | 2024-03-24 16:08:43 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-24 16:08:43 +0000 |
| commit | dcddf24626c0d5d7d87a3c4922dbfa296b0e869f (patch) | |
| tree | 7c11fa6ffc70527ee2e0e5f1d7db00bf98ff0441 /compiler/rustc_pattern_analysis/src/errors.rs | |
| parent | f97f448d4e5edcf3e348a7413fbf20dc9f786560 (diff) | |
| parent | a12decc07a1d0be4c87056896cddbe104781e441 (diff) | |
| download | rust-dcddf24626c0d5d7d87a3c4922dbfa296b0e869f.tar.gz rust-dcddf24626c0d5d7d87a3c4922dbfa296b0e869f.zip | |
Auto merge of #3402 - RalfJung:miri-script, r=RalfJung
miri script: build with stable toolchain `./miri toolchain` sets up a `rustup override miri`. But then if something goes wrong and the `miri` toolchain doesn't work, one can't even run `./miri toolchain` again as building miri-script needs a toolchain... So let's always use stable to build miri-script, making it override-independent. I assume everyone will have that installed.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/errors.rs')
0 files changed, 0 insertions, 0 deletions