> Date: Tue, 24 Apr 2007 11:11:02 +0200 > From: Benoit Sigoure <[EMAIL PROTECTED]> > Cc: 'Eli Zaretskii' <[EMAIL PROTECTED]>, make-w32@gnu.org > > Quoting Dave Korn <[EMAIL PROTECTED]>: > > > On 24 April 2007 07:43, Benoit Sigoure wrote: > > > > > >> and the whole community will benefit from this very slight improvement. > > > > Nope, only the minority of win32/cmd.exe users. An awful lot of people > > never use make with any other than a POSIX shell.... > > > > Yes, well, we're discussing on the make-*w32* ML, what did you expect?
Even so, I expect most of those who read this list to have some kind of sh.exe on their PATH, since Make started to support cmd.exe as SHELL only in the last version 3.81. Before that, you couldn't even say SHELL=cmd.exe and get what you want. Even in the latest version, the native Windows port of Make still uses sh.exe by default if it can find it along PATH. So even on make-w32, I think this is a very much corner case. _______________________________________________ Make-w32 mailing list Make-w32@gnu.org http://lists.gnu.org/mailman/listinfo/make-w32
