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

[Jannick]

Hi,

This is a pure Windows issue:

Would it be possible to pass to build_w32.bat in an optional command line
argument the executable name (currently hard coded in the variable MAKE as
'gnumake')?

When creating a plugin (.dll) with GCC (by linking against gnumake.dll.a)
which should then be called by a version of gnumake.exe with a name other
than gnumake.exe, it is not sufficient to simply rename the executable,
since that is hard-coded in the .dll.a library.  The suggested feature would
make things easily happen in this case without using workarounds using .def
files, dlltool and alike or even patching the .bat file.

Happy to draft a patch for this, if you guys would be OK with the proposed
idea.


Many thanks,
J.