https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85036
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Created attachment 43736 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43736&action=edit Tentative fix Richard, please give it a try, as specialist of weird build setups. ;-)
