make importing SHELL

[Ed Gould]

>$SHELL and the shell-to-be-used-by-make are simply two different things.

Too true!  I work around this nuisance with

	alias	make	make SHELL=/bin/sh

Even though $SHELL is /bin/csh.  Something similar can be done in ksh.

-- 
Ed Gould                    mt Xinu, 2560 Ninth St., Berkeley, CA  94710  USA
{ucbvax,uunet}!mtxinu!ed    +1 415 644 0146

"I'll fight them as a woman, not a lady.  I'll fight them as an engineer."