You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
let verbose = std::env::var_os("MIRI_VERBOSE").is_some();
560
566
561
-
// Strip extension from binary name (Windows adds ".exe").
562
-
letmut filename = PathBuf::from(binary);
563
-
filename.set_extension("");
564
-
let file = File::open(&filename)
567
+
let file = File::open(&binary)
565
568
.unwrap_or_else(|_| show_error(format!("File {:?} not found or `cargo-miri` invoked incorrectly; please only invoke this binary through `cargo miri`", binary)));
566
569
let file = BufReader::new(file);
567
570
let info:CrateRunInfo = serde_json::from_reader(file)
568
571
.unwrap_or_else(|_| show_error(format!("File {:?} does not contain valid JSON", binary)));
569
-
fs::remove_file(&filename)
570
-
.unwrap_or_else(|_| show_error(format!("Unable to remove file {:?}", binary)));
571
572
572
573
letmut cmd = miri();
573
574
// Forward rustc arguments. We need to patch "--extern" filenames because
0 commit comments