On Tue, Apr 04, 2006 at 08:19:52PM +0200, Ralf Wildenhues wrote: > * Noah Misch wrote on Tue, Apr 04, 2006 at 08:01:03PM CEST: > > This zsh sets NULLCMD=: when invoked as sh: > > > $ /bin/sh -c 'echo $NULLCMD' > > : > > $ /bin/zsh -c 'echo $NULLCMD' > > cat > > $ /bin/zsh -c 'echo $ZSH_VERSION' > > 3.0.8 > > So for pdfroff this seems indeed irrelevant. What does > /bin/zsh -c 'emulate sh; echo $NULLCMD'
$ /bin/zsh -c 'emulate sh; echo $NULLCMD' cat > output? If that is `cat', 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). Agreed. _______________________________________________ Autoconf mailing list Autoconf@gnu.org http://lists.gnu.org/mailman/listinfo/autoconf
