Hi Stepan, * Stepan Kasal wrote on Thu, Apr 06, 2006 at 02:07:46PM CEST: > > On Tue, Apr 04, 2006 at 08:19:52PM +0200, Ralf Wildenhues wrote: > > > [...] then this is still relevant for configure > > > scripts: they may, on other systems, choose this zsh version over the > > > presumably-defective /bin/sh (and also invoke it with that name). > > well, I unless I missed something, Autoconf-generated configure scripts > wouldn't do this: the candidate list is `sh bash ksh sh5'.
You are missing something: | for as_base in sh bash ksh sh5; do | as_candidate_shells="$as_candidate_shells $as_dir/$as_base" | done *snip* | for as_shell in $as_candidate_shells $SHELL > But the user could select /bin/zsh, so it's good we have NULLCMD=: there. The user will have SHELL=/bin/zsh if she is running under zsh. Cheers, Ralf _______________________________________________ Autoconf mailing list Autoconf@gnu.org http://lists.gnu.org/mailman/listinfo/autoconf
