>>> "Bob" == Bob Proulx <[EMAIL PROTECTED]> writes:

 Bob> Simon Richter wrote:
 >> 
 >> $(SHELL) <your script here> ?

 Bob> Does that mean that a SHELL=/bin/csh user will run the script with csh
 Bob> and a SHELL=/bin/zsh user will run the shell with zsh?  

Nope.  The $(SHELL) Makefile variable is AC_SUBST'ed by
./configure, fortunately it doesn't come from the environment.

(Still there are broken make implementations that will use the
SHELL envvar when run as `make -e'.  Details in the Autoconf
manual.)
-- 
Alexandre Duret-Lutz



Reply via email to