Update cargo-miri

diff --git a/cargo-miri-test/Cargo.lock b/cargo-miri-test/Cargo.lock
index 8b2387fa64109aeb99cf2efe390e10c62f3a71fa..85c3c08dba019c44e772bc92cd594b984d341dd8 100644 (file)
--- a/cargo-miri-test/Cargo.lock
+++ b/cargo-miri-test/Cargo.lock
@@ -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"

diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
index 39a41583a39e0187ac95e14817c5513c7b616bca..010f25e8152dc1c1a31020c42907b635e29eb03b 100644 (file)
--- a/src/bin/cargo-miri.rs
+++ b/src/bin/cargo-miri.rs
@@ -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 @@ fn process<I>(old_args: I) -> Result<(), i32>
     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());