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@gnu.org
http://lists.gnu.org/mailman/listinfo/autoconf

Reply via email to