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

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