------- Comment #4 from nickc at redhat dot com 2007-03-29 11:05 ------- Brooks' patch is better than mine, so I would recommend that it be adopted.
Cheers Nick -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31353
- [Bug driver/31353] gcc --help=target gives a... nickc at redhat dot com
- [Bug driver/31353] gcc --help=target gi... brooks at gcc dot gnu dot org
- [Bug driver/31353] gcc --help=target gi... brooks at gcc dot gnu dot org
