x86-vxworks7 and x86_64-vxworks7 support, "config" files

[Olivier Hainque]

Hello,

The "config" files bits for the x86 families of targets
for which VxWorks 7 support is being introduced.

Just accept the triplets on the libgcc end and handle the
common need of x86-64.h for x86_64 on the gcc front.

Tested together with the previous patches of the vxworks7
series. Committing to mainline.

With Kind Regards,

Olivier

2017-06-27  Jerome Lambourg  <lambourg@adacore.com>

        gcc/
        * config.gcc: Handle i*86-vxworks7 and x86_64-vxworks7.

        libgcc/
        * config.host: Likewise.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0006-support-for-x86-and-x86_64-VxWorks-7-config-files.patch
Type: application/octet-stream
Size: 1183 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20170627/e0636284/attachment.obj>