------- Comment #10 from steven at gcc dot gnu dot org 2006-07-30 10:52 ------- Please ping the patch. Add DJ Delorie to the CC: list, he is a build system maintainer. You can find his email in MAINTAINERS. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25672