To: Aaron Ucko <UCKO AT vax1 DOT rockhurst DOT edu>
Cc: djgpp AT sun DOT soe DOT clarkson DOT edu
Subject: Re: Changing system() [was: bug in djgpp's make] 
Date: Sun, 15 Jan 95 10:15:35 +0200
From: "Eli Zaretskii" <eliz AT is DOT elta DOT co DOT il>

>> As an escape for those who likes using features specific to their shell
>> in a Makefile (did I say that I think it's a bad habit?) there is the
>> SHELL= statement in the Makefile, which even today causes Make to call
>> that shell unconditionally.  So you can have the cake both ways.
> Really?  When I used ms_sh, I installed sh in my /bin directory, but it
> wasn't called even when the line said SHELL=/bin/sh.

This should be reported to DJ as a bug in Make (IMHO).