]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #1779 - RalfJung:cargo-miri-xargo, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 20 Apr 2021 07:41:41 +0000 (07:41 +0000)
committerbors <bors@rust-lang.org>
Tue, 20 Apr 2021 07:41:41 +0000 (07:41 +0000)
fix MIRI_BE_RUSTC value during sysroot build

`@hyd-dev` pointed out that `MIRI_BE_RUSTC` is set to an incorrect value during the xargo sysroot build. This fixes that.


Trivial merge