other/9243: gcc -v does not show how the compiler was configured (patch ping)

[Nathanael Nerode]

This will be fixed as soon as the following patch is approved:
http://gcc.gnu.org/ml/gcc-patches/2002-12/msg01409.html

Alex, you may have thought you approved this, but you actually didn't. :-)

--Nathanael