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
[email protected]
http://lists.gnu.org/mailman/listinfo/autoconf
