Re: [PATCH] Windows jobserver updates for GNU make 4.1

On Tue, 2016-03-08 at 05:30 +0200, Eli Zaretskii wrote:
> > I'm not sure what to do about the plethora of other ways we can build
> > for Windows.  Do we still have any use for dosbuild.bat for example? 
> >  It seems to invoke gcc... does that mean it's superseded by the
> > build_w32.bat support for GCC builds?
> 
> dosbuild.bat is for DOS, not for Windows.

I know, but when I look at the content of that batch file I don't see
the difference in the commands invoked between the build_w32.bat GCC and
dosbuild.bat.  They both seem to invoke GCC, with more or less the same
command line and source files.

Maybe I just missed it.