https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120106
--- Comment #23 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Your patch also fixes the build of gnat-16 with gnat-16 on Debian. > If GNATMAKE_FOR_BUILD=foo in the top-level environment, both Make-generated > and gcc-interface/Makefile invoke foo instead of the default gnatmake. Great, thanks for testing it.
