Re: Patch: missing --run makeinfo

[Alexandre Oliva]

On Jul  4, 2001, Tom Tromey <address@hidden> wrote:

> -    if test -z "$run" && sh -c 'makeinfo --version > /dev/null 2>&1'; then
> +    if test -z "$run" && (makeinfo --version > /dev/null 2>&1); then

Just one more nit: is the point of redirecting stdout and stderr of
makeinfo to not get an error in case makeinfo isn't available?  If
this is the case, the redirections should go outside the parentheses.

-- 
Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer                  address@hidden, redhat.com}
CS PhD student at IC-Unicamp        address@hidden, gnu.org}
Free Software Evangelist    *Please* write to mailing lists, not to me