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