https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80556
--- Comment #37 from simon at pushface dot org --- Created attachment 41474 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41474&action=edit Patch to top-level configure.ac, configure
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80556
--- Comment #37 from simon at pushface dot org --- Created attachment 41474 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41474&action=edit Patch to top-level configure.ac, configure