Given the approval of the libstdc++ parts I think the gcc/configure change to be consistent with libstdc++ is obvious, so I've applied the whole patch. -- Joseph S. Myers joseph@codesourcery.com