https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81105
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Thu Jun 15 22:21:56 2017 New Revision: 249228 URL: https://gcc.gnu.org/viewcvs?rev=249228&root=gcc&view=rev Log: PR ada/81105 * gcc-interface/Makefile.in (x86 kfreebsd): Adjust system.ads setting. (i[3456]86-pc-gnu): Likewise. (x86_64 kfreebsd): Likewise. Modified: trunk/gcc/ada/ChangeLog trunk/gcc/ada/gcc-interface/Makefile.in
