Ralf Jung ac65350789 adjust default sysroot when being rustc ...

Also while at it, refactor how we pass the default Miri flags

2020-05-09 13:42:07 +02:00

..

cargo-miri.rs

make Miri work in rustc bootstrap stage 0

2020-05-09 13:19:23 +02:00

miri-rustc-tests.rs

rustup for more LocalDefId changes

2020-04-28 10:30:21 +02:00

miri.rs

adjust default sysroot when being rustc

2020-05-09 13:42:07 +02:00