"make" SHELL variable

[gwyn at brl-smoke.UUCP]

In article <3088 at gitpyr.gatech.EDU> robert at gitpyr.UUCP (Robert Viduya) writes:
>I disagree completely.  Adding "SHELL=/bin/sh" is an extremely trivial

I wasn't arguing against "make" allowing definition of the shell to use
in the Makefile, which is after all written with a particular shell in
mind (so the Makefile is an appropriate place to specify it), but rather
against it paying any attention to the environment variable SHELL, which
users often set to things like /bin/csh which have nothing to do with
the Makefile's contents.