diff options
| author | Ralf Jung <post@ralfj.de> | 2022-07-21 10:36:55 -0400 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-07-21 10:36:55 -0400 |
| commit | bb52965b73bb5885591fdd5b596a8d8f36d75f4e (patch) | |
| tree | 38099b951166d3a3a6112d0dc0016ac60392378f | |
| parent | 0a9feb3c9f93eb66d75a731dfd41151af16252b5 (diff) | |
| download | rust-bb52965b73bb5885591fdd5b596a8d8f36d75f4e.tar.gz rust-bb52965b73bb5885591fdd5b596a8d8f36d75f4e.zip | |
make the find_miri returned path actually exist
| -rw-r--r-- | cargo-miri/bin.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/cargo-miri/bin.rs b/cargo-miri/bin.rs index 9c964829dd1..48beb7c935d 100644 --- a/cargo-miri/bin.rs +++ b/cargo-miri/bin.rs @@ -212,7 +212,11 @@ fn find_miri() -> PathBuf { return path.into(); } let mut path = std::env::current_exe().expect("current executable path invalid"); - path.set_file_name("miri"); + if cfg!(windows) { + path.set_file_name("miri.exe"); + } else { + path.set_file_name("miri"); + } path } |