------- Comment #15 from bkoz at gcc dot gnu dot org 2007-09-18 22:55 -------
This should be cc'd to a build system maintainer, not libstdc++, which is only peripherally involved. I suggest Alexandre Oliva or Paolo Bonzoni. -benjamin -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31906
