calling $(SHELL) with make-3.80 on cygwin

2003-11-15 Thread Roland Illig
Hi, I noticed a subtle change from make-3.79 to 3.80 on Win32: The shell to process the commands in the Makefile is called as $(SHELL) -c $command $args ... in make-3.79, but as $(SHELL) /c $command $args ... in make-3.80. This is a problem for the cygwin bash(1), because the first ar

Re: calling $(SHELL) with make-3.80 on cygwin

2003-11-15 Thread Paul D. Smith
%% Roland Illig <[EMAIL PROTECTED]> writes: ri> I noticed a subtle change from make-3.79 to 3.80 on Win32: The ri> shell to process the commands in the Makefile is called as Is this the version of make provided with Cygwin? Or did you get a copy from ftp.gnu.org and build that yourself? If