diff options
| author | Michael Goulet <michael@errs.io> | 2022-11-09 21:53:35 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-09 21:53:35 -0800 |
| commit | 7124590dcc96e1646d529447be878f99b3dbe63c (patch) | |
| tree | d0ea96a6f19a456abb8b0b99b5259c88ac428852 /compiler/rustc_codegen_gcc/example/std_example.rs | |
| parent | f9160224cf3cd0986a513415b0377125df7dc249 (diff) | |
| parent | a9edee7d1adfee012145ab6097b65a464cb50d06 (diff) | |
| download | rust-7124590dcc96e1646d529447be878f99b3dbe63c.tar.gz rust-7124590dcc96e1646d529447be878f99b3dbe63c.zip | |
Rollup merge of #104046 - RalfJung:run-miri-run, r=oli-obk
bootstrap: add support for running Miri on a file This enables: ``` ./x.py run src/tools/miri --stage 0 --args src/tools/miri/tests/pass/hello.rs ``` That can be super helpful for debugging. Also avoid sharing the Miri sysroot dir with a system-wide (rustup-managed) installation of Miri. Fixes https://github.com/rust-lang/rust/issues/76666
Diffstat (limited to 'compiler/rustc_codegen_gcc/example/std_example.rs')
0 files changed, 0 insertions, 0 deletions