Eric Blake wrote: > here's the full > trace, showing that /bin/sh is ultimately rejected and the script rerun > under ksh for IRIX.
Thanks. And we know that ksh has a working 'alias' command, so that gnulib-tool ends up getting a working 'echo' command in that shell. Bruno
