https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120106
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > v02 passes GNATMAKE_FOR_BUILD via BASE_TARGET_EXPORT instead of > EXTRA_TARGET_FLAGS. Is this less ugly? Yes, thanks, I'm going to apply it.