Aaron Hill 5960e8b80e

Rename XARGO env var to XARGO_CHECK ...

This reflects the fact that we want bootstrap to override `xargo-check`,
not `xargo

2020-03-02 14:17:14 -05:00

..

cargo-miri.rs

Rename XARGO env var to XARGO_CHECK

2020-03-02 14:17:14 -05:00

miri-rustc-tests.rs

format a few things

2020-03-01 11:54:19 +01:00

miri.rs

format a few things

2020-03-01 11:54:19 +01:00