config.gcc (powerpc-wrs-vxworksmils): New configuration.
authorOlivier Hainque <hainque@adacore.com>
Fri, 19 Sep 2014 08:11:55 +0000 (08:11 +0000)
committerOlivier Hainque <hainque@gcc.gnu.org>
Fri, 19 Sep 2014 08:11:55 +0000 (08:11 +0000)
commit3a8fe7c66071360f038334bca1bf9fd06d93ea03
tree6eb129555ae6869f99f7f03854fea58754c1b9dc
parentc3b4b410ae57324d31039b75f0f4ab7657e58161
config.gcc (powerpc-wrs-vxworksmils): New configuration.

2014-09-18  Olivier Hainque  <hainque@adacore.com>

gcc/
* config.gcc (powerpc-wrs-vxworksmils): New configuration.
* config/rs6000/t-vxworksmils: New file.
* config/rs6000/vxworksmils.h: New file.

libgcc/
* config.host (powerpc-wrs-vxworksmils): New configuration,
same as vxworksae.

contrib/
* config-list.mk (LIST): Add powerpc-wrs-vxworksmils.

From-SVN: r215377
contrib/ChangeLog
contrib/config-list.mk
gcc/ChangeLog
gcc/config.gcc
gcc/config/rs6000/t-vxworksmils [new file with mode: 0644]
gcc/config/rs6000/vxworksmils.h [new file with mode: 0644]
libgcc/ChangeLog
libgcc/config.host