Rollup merge of #126238 - Nilstrieb:run,miri,run, r=RalfJung · flip1995/rust-clippy@f001766 · GitHub

Commit

Rollup merge of #126238 - Nilstrieb:run,miri,run, r=RalfJung

Browse files

Fix Miri sysroot for `x run`

Miri no longer (after rust-lang/miri#3411) respects `MIRI_SYSROOT` and wants to be treated like a REAL rustc, with `--sysroot`. \*pats Miri\* sure Miri, just for you :3.

fixes #126233

r? RalfJung (or whoever else feels like it)

Loading branch information

matthiaskrgr authored Jun 13, 2024

2 parents c4ee945 + 5340444 commit f001766