PATCH for Re: contrib/gcc_update

[Alexandre Oliva]

On May 23, 2001, Richard Earnshaw <rearnsha@arm.com> wrote:

> 1) It's impossible to turn it off

Except for --nostdflags.

That said, I don't like -d being enabled by default, but I do
understand the point about making it work for the clueless user rather
than optimizing for the clueful one, that does know how to optimize it
in the first place.

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