From d32dda4d1e8b6c7392514b3e93f98ade8db5d846 Mon Sep 17 00:00:00 2001
From: Peter0x44 <peter0x44@disroot.org>
Date: Thu, 19 Dec 2024 00:32:15 +0000
Subject: [PATCH] Use mingw32-make in build-MinGW-W64.bat

Not all mingw-w64 toolchains on windows are guaranteed to have make, but
virtually all of them have mingw32-make. MSYS2 UCRT does not provide
make, but does provide mingw32-make. So users who have added UCRT to the
PATH (Not advisable!) but not msys64 will have errors about a missing
make.

VSCode's tasks.json uses mingw32-make anyway, so it's better to stay
consistent with it.
---
 build-MinGW-W64.bat | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-MinGW-W64.bat b/build-MinGW-W64.bat
index 04894a6..379d454 100644
--- a/build-MinGW-W64.bat
+++ b/build-MinGW-W64.bat
@@ -1,5 +1,5 @@
 cd build
 premake5.exe gmake2
 cd ..
-make SHELL=CMD clean
-pause
\ No newline at end of file
+mingw32-make SHELL=CMD clean
+pause