re PR ada/81105 (system-freebsd-x86.ads renamed but referenced by gcc/ada/gcc-interfa...
authorNicolas Boulenguez <nicolas.boulenguez@free.fr>
Thu, 15 Jun 2017 22:21:56 +0000 (00:21 +0200)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Thu, 15 Jun 2017 22:21:56 +0000 (22:21 +0000)
commitcb55f77df1442a9f2b364b85f0d859383736fb07
tree388ecb73ec26cbb747de191300b9bc9c4f0102f7
parentd0e7a9fdfc21c858d4131052cf38dea4fa8f44b2
re PR ada/81105 (system-freebsd-x86.ads renamed but referenced by gcc/ada/gcc-interface/Makefile.in)

PR ada/81105
* gcc-interface/Makefile.in (x86 kfreebsd): Adjust system.ads setting.
(i[3456]86-pc-gnu): Likewise.
(x86_64 kfreebsd): Likewise.

From-SVN: r249228
gcc/ada/ChangeLog
gcc/ada/gcc-interface/Makefile.in