From c7be4439ade7cd4b1e506bd87f2c9b131c6d594e Mon Sep 17 00:00:00 2001
From: Ross Smyth <crs2017@gmail.com>
Date: Fri, 23 Feb 2024 19:09:46 -0500
Subject: [PATCH] Windows miri-script execution egronomics

This allows for Windows users to use miri-script without pain
---
 src/tools/miri/miri.bat | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/tools/miri/miri.bat

diff --git a/src/tools/miri/miri.bat b/src/tools/miri/miri.bat
new file mode 100644
index 0000000000000..91e8a6e8f3b25
--- /dev/null
+++ b/src/tools/miri/miri.bat
@@ -0,0 +1,10 @@
+:: This makes execution of ./miri on Linux and Windows the same.
+:: Windows will not execute the bash script, and select this.
+@echo off
+set MIRI_SCRIPT_TARGET_DIR=%0\..\miri-script\target
+cargo build %CARGO_EXTRA_FLAGS% -q --target-dir %MIRI_SCRIPT_TARGET_DIR% --manifest-path %0\..\miri-script\Cargo.toml
+
+:: Forwards all arguments to this file to the executable.
+:: We invoke the binary directly to avoid going through rustup, which would set some extra
+:: env vars that we do not want.
+%MIRI_SCRIPT_TARGET_DIR%\debug\miri-script %*