https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120106
--- Comment #22 from Nicolas Boulenguez <nicolas at debian dot 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.
