From bb52965b73bb5885591fdd5b596a8d8f36d75f4e Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 21 Jul 2022 10:36:55 -0400
Subject: [PATCH] make the find_miri returned path actually exist

---
 cargo-miri/bin.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/cargo-miri/bin.rs b/cargo-miri/bin.rs
index 9c964829dd13..48beb7c935d6 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
 }