]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #1404 - RalfJung:cargo-miri-host-detect, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 9 May 2020 10:06:04 +0000 (10:06 +0000)
committerbors <bors@rust-lang.org>
Sat, 9 May 2020 10:06:04 +0000 (10:06 +0000)
re-do cargo-miri host/target detection logic to match rustbuild

@oli-obk I think that's better than looking at `--emit` like we did before... what do you think?


No differences found