https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64492
--- Comment #6 from simon at pushface dot org --- (In reply to Eric Botcazou from comment #4) > Correction: some bits were incorrectly removed from > gcc-interface/Makefile.in. Do you mean the parts where the creation and population of gcc/ada/tools has been migrated to gnattools/Makefile?
