RE: [build_w32.bat] feature request: add optional command line argument for executable name

[Jannick]

On Mon, 04 Nov 2019 05:35:46 +0200, Eli Zaretskii wrote:

> And how do you suggest to fix this?

For your consideration attached 3 patches implementing the suggested idea: a
new optional command line flag '--exe-name' to build_w32.bat to help the
user pass an executable name (default: 'gnumake') used at link time.

Please feel free to edit and apply it.

Thanks,
J.

0001-Windows-build-regroup-code-blocks-in-build_w32.bat.patch
Description: Text document

0002-Windows-build-enhance-error-reporting-in-build_w32.b.patch
Description: Text document

0003-Windows-build-add-optional-cmd-line-flag-exe-name-to.patch
Description: Text document