Failure to execute 'csh'-commands from 'make'

[Dave Olson]

If you have one of the 'augmented' versions of make, S3, S5, (not sure
how many others...) try setting 'SHELL=/bin/csh'.  make will then run
csh instead of sh (of course, this will slow things down quite a bit
if you have a large .cshrc file not bracketed by if($?prompt), and
you have very many shell commands in your makefile).

make will also recognize 'PATH=...' as a special variable.  Both
SHELL= and PATH= are exported into the environment for all programs
that make starts.

	Dave Olson, Fortune Systems