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

> From: Paul Smith <[email protected]>
> Cc: [email protected], [email protected]
> Date: Tue, 08 Mar 2016 00:18:58 -0500
> 
> > 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.

No, there are several important differences:

 . dosbuild.bat doesn't compile files under w32/
 . dosbuild.bat doesn't compile Guile support
 . dosbuild.bat doesn't compile load API
 . dosbuild.bat mentions DJGPP, which is the DOS GNU-based development
   environment