On Jun 18, 2001, Tim Van Holder <[EMAIL PROTECTED]> wrote:
> and $echo is set to 'echo -E' when needed?
Libtool tries a number of alternatives to echo: ksh's print, `printf
%s', a helper script as follows:
cat <<EOF
$*
EOF
and I recall having suggested an awk-based approach, but we never got
to implement it because it was never necessary. I'm not sure we try
echo -E, though. It would probably be nice to do so.
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me
