From 9937c2c877c2cc2567c6e521e4e4c2a688356292 Mon Sep 17 00:00:00 2001
From: silverqx <silver.zachara@gmail.com>
Date: Sat, 13 Apr 2024 11:48:19 +0200
Subject: [PATCH] tools added msys2.cmd helper script for GH Actions

---
 tools/msys2.cmd | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 tools/msys2.cmd

diff --git a/tools/msys2.cmd b/tools/msys2.cmd
new file mode 100644
index 000000000..311a099a2
--- /dev/null
+++ 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 %*