diff options
Diffstat (limited to 'docs/release/build/make64.bat')
-rw-r--r-- | docs/release/build/make64.bat | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/release/build/make64.bat b/docs/release/build/make64.bat new file mode 100644 index 00000000000..2edabd21a9b --- /dev/null +++ b/docs/release/build/make64.bat @@ -0,0 +1,14 @@ +@echo off +set MINGW64=E:\Mingw\8-3-0\mingw64 +set minpath=%MINGW64%\bin +set oldpath=%Path% +set Path=%minpath%;%oldpath% +echo.|time +%MINGW64%\bin\make PTR64=1 TARGET=hbmame SYMBOLS=0 NO_SYMBOLS=1 %1 %2 %3 %4 +echo.|time +set Path=%oldpath% +set oldpath= +if exist hbmame64.exe %minpath%\strip -s hbmame64.exe +if exist hbmameui64.exe %minpath%\strip -s hbmameui64.exe +set minpath= + |