[Ada] Remove vxlink and vxaddr2line from this repository
authorJerome Lambourg <lambourg@adacore.com>
Tue, 11 Dec 2018 11:10:37 +0000 (11:10 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 11 Dec 2018 11:10:37 +0000 (11:10 +0000)
commit30a5fd0b463897d12a9f4e3e27a15b3146a52b3d
tree5ce7d44af7605fd8cab79d0a9db905b696078b62
parent2401c98f33bb8d615cea1da559599eae7a26ac65
[Ada] Remove vxlink and vxaddr2line from this repository

Those tools need a dedicated repository as they're VxWorks specific and
not related with the Ada front-end.

2018-12-11  Jerome Lambourg  <lambourg@adacore.com>

gcc/ada/

* vxaddr2line.adb, vxlink-bind.adb, vxlink-bind.ads,
vxlink-link.adb, vxlink-link.ads, vxlink-main.adb, vxlink.adb,
vxlink.ads: Remove.
* gcc-interface/Make-lang.in, gcc-interface/Makefile.in: Remove
bits for vxaddr2line.

From-SVN: r266995
gcc/ada/ChangeLog
gcc/ada/gcc-interface/Make-lang.in
gcc/ada/gcc-interface/Makefile.in
gcc/ada/vxaddr2line.adb [deleted file]
gcc/ada/vxlink-bind.adb [deleted file]
gcc/ada/vxlink-bind.ads [deleted file]
gcc/ada/vxlink-link.adb [deleted file]
gcc/ada/vxlink-link.ads [deleted file]
gcc/ada/vxlink-main.adb [deleted file]
gcc/ada/vxlink.adb [deleted file]
gcc/ada/vxlink.ads [deleted file]