* system-linux-ppc64.ads: Delete.
commite29c6f1a68617091e081357da7e0c3b4703f5b64
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 11 Oct 2016 09:12:25 +0000 (11 09:12 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 11 Oct 2016 09:12:25 +0000 (11 09:12 +0000)
tree353faf426cadd572e00cf91fc2361e245b1fa988
parent4f3ac872c1bf1993abd23fff75359613540ca991
* system-linux-ppc64.ads: Delete.
* system-linux-ppc.ads: Make 32-bit/64-bit neutral.
* gcc-interface/Makefile.in (PowerPC/Linux): Simplify.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@240973 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/Makefile.in
gcc/ada/system-linux-ppc.ads
gcc/ada/system-linux-ppc64.ads [deleted file]