On Aug 24, 2000, Tim Mooney <[EMAIL PROTECTED]> wrote:

> If I change the egrep to

>       egrep '(/dev/null| object)'

Thanks, I've just installed a variant of your patch, that had been
posted by Tom Kacvisky a *very* long time ago.  Sorry about the
duplicate work :-(

-- 
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

Reply via email to