https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120106
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- The build and host changes should be separated. I'm not sure that we want to change the host side (gnattools) given that they mimic Make-lang.in. The build changes are more desirable, but the EXTRA_TARGET_FLAGS part is really ugly.
