https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120106
--- Comment #18 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Created attachment 65716 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65716&action=edit Tentative fix for GNATMAKE_FOR_BUILD To be tested.
