make importing SHELL

[Chris Torek]

>In article <4164 at bsu-cs.UUCP>, dhesi at bsu-cs.UUCP (Rahul Dhesi) writes:
>>But $SHELL seems to be the only automatic mechanism under System V to
>>allow the user to specify which shell should be used to interpret a
>> script.

In article <7048 at ki4pv.uucp> tanner at ki4pv.uucp (Dr. T. Andrews) writes:
>Unfortunately for this argument, $SHELL is not generally used under
>sys5 to decide which shell should be used to interpret a script.

... which is, of course, fortunate for users.  The interpreter needed
to run a script is a property of the script, just as the shell needed
to run makefile commands is a property of the makefile.  The user's
environment has nothing to do with either.
-- 
In-Real-Life: Chris Torek, Univ of MD Comp Sci Dept (+1 301 454 7163)
Domain:	chris at mimsy.umd.edu	Path:	uunet!mimsy!chris