[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Patch: missing --run makeinfo
From: |
Alexandre Oliva |
Subject: |
Re: Patch: missing --run makeinfo |
Date: |
04 Jul 2001 05:03:43 -0300 |
User-agent: |
Gnus/5.090003 (Oort Gnus v0.03) XEmacs/21.4 (Academic Rigor) |
On Jul 1, 2001, Tom Tromey <address@hidden> wrote:
> + if test -z "$run" && sh -c 'makeinfo --version > /dev/null 2>&1'; then
What's wrong with `(makeinfo --version > /dev/null 2>&1)'? I'm not
sure running sh explicitly is a good idea.
--
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