tools added msys2.cmd helper script for GH Actions

silverqx · Apr 13, 2024 · 9937c2c · 9937c2c
1 parent 8e83ead
commit 9937c2c
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tools/msys2.cmd b/tools/msys2.cmd
@@ -0,0 +1,12 @@
+@echo off
+setlocal
+
+rem This is a helper script for GitHub self-hosted runner to avoid using msys2_shell.cmd,
+rem msys2_shell.cmd is more complex and supports more features, but is also slower,
+rem this script is the exact opposite, it only contains what we need.
+
+IF NOT DEFINED MSYSTEM set MSYSTEM=UCRT64
+IF NOT DEFINED MSYS2_PATH_TYPE set MSYS2_PATH_TYPE=minimal
+set CHERE_INVOKING=1
+
+"%MSYS2_ROOT%\usr\bin\bash.exe" -leo pipefail %*