Hello, > 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'. But the user could select /bin/zsh, so it's good we have NULLCMD=: there. Have a nice day, Stepan _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
