http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48818
--- Comment #8 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-20 08:23:01 UTC --- Vincenzo, I agree about the name, yesterday had the same thought. Then we have the usual annoyances with configure options and switches, we normally don't want to just rename in order to not break build systems, scripts, etc. I'll see what we can do, ideally add an alias and deprecate the old one.
