https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81105
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Thu Jun 15 22:22:18 2017 New Revision: 249229 URL: https://gcc.gnu.org/viewcvs?rev=249229&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: branches/gcc-7-branch/gcc/ada/ChangeLog branches/gcc-7-branch/gcc/ada/gcc-interface/Makefile.in
