Skip to content

Commit 6755872

Browse files
committed
Update cargo-miri
1 parent cec51f8 commit 6755872

File tree

2 files changed

+8
-8
lines changed

2 files changed

+8
-8
lines changed

cargo-miri-test/Cargo.lock

Lines changed: 6 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

src/bin/cargo-miri.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -154,7 +154,7 @@ fn main() {
154154

155155
// this check ensures that dependencies are built but not interpreted and the final crate is
156156
// interpreted but not built
157-
let miri_enabled = std::env::args().any(|s| s == "-Zno-trans");
157+
let miri_enabled = std::env::args().any(|s| s == "--emit=dep-info,metadata");
158158

159159
let mut command = if miri_enabled {
160160
let mut path = std::env::current_exe().expect("current executable path invalid");
@@ -193,7 +193,7 @@ where
193193
if !found_dashes {
194194
args.push("--".to_owned());
195195
}
196-
args.push("-Zno-trans".to_owned());
196+
args.push("--emit=dep-info,metadata".to_owned());
197197
args.push("--cfg".to_owned());
198198
args.push(r#"feature="cargo-miri""#.to_owned());
199199

0 commit comments

Comments
 (0)