Path: utzoo!utgpu!attcan!uunet!mtxinu!ed
From: ed@mtxinu.UUCP (Ed Gould)
Newsgroups: comp.unix.wizards
Subject: Re: make importing SHELL
Message-ID: <657@mtxinu.UUCP>
Date: 28 Sep 88 18:15:48 GMT
References: <452@alice.marlow.uucp> <67870@sun.uucp> <67925@sun.uucp> <128@cetia.UUCP> <13753@mimsy.UUCP>
Reply-To: ed@mtxinu.UUCP (Ed Gould)
Organization: mt Xinu, Berkeley
Lines: 13

>$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."