PR ada/81105
commit45c0c08d84b7da1255849009b09b9256c1145739
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 15 Jun 2017 22:21:56 +0000 (15 22:21 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 15 Jun 2017 22:21:56 +0000 (15 22:21 +0000)
tree388ecb73ec26cbb747de191300b9bc9c4f0102f7
parent24ce160b71edde97cc4f83a49b075996a6b3fadd
PR ada/81105
* gcc-interface/Makefile.in (x86 kfreebsd): Adjust system.ads setting.
(i[3456]86-pc-gnu): Likewise.
(x86_64 kfreebsd): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@249228 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/Makefile.in