[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