user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update cargo-miri

Browse source
This commit is contained in:
Oliver Schneider 2018-06-03 12:13:30 +02:00
parent cec51f8513
commit 675587280f
2 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

12
cargo-miri-test/Cargo.lock generated
View file

@ -1,14 +1,14 @@
[root]
[[package]]
name = "byteorder"
version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
[[package]]
name = "cargo-miri-test"
version = "0.1.0"
dependencies = [
"byteorder 1.0.0 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "byteorder"
version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
[metadata]
"checksum byteorder 1.0.0 (registry+https://github.com/rust-lang/crates.io-index)" = "c40977b0ee6b9885c9013cd41d9feffdd22deb3bb4dc3a71d901cc7a77de18c8"

4
src/bin/cargo-miri.rs
View file

@ -154,7 +154,7 @@ fn main() {
// this check ensures that dependencies are built but not interpreted and the final crate is
// interpreted but not built
let miri_enabled = std::env::args().any(|s| s == "-Zno-trans");
let miri_enabled = std::env::args().any(|s| s == "--emit=dep-info,metadata");
let mut command = if miri_enabled {
let mut path = std::env::current_exe().expect("current executable path invalid");
@ -193,7 +193,7 @@ where
if !found_dashes {
args.push("--".to_owned());
}
args.push("-Zno-trans".to_owned());
args.push("--emit=dep-info,metadata".to_owned());
args.push("--cfg".to_owned());
args.push(r#"feature="cargo-miri""#.to_owned());