Makefile.in (x86-vxworks): Update GCC_SPEC_FILES to include cert link spec.

2015-01-30  Jerome Guitton  <guitton@adacore.com>
               
	* gcc-interface/Makefile.in (x86-vxworks): Update GCC_SPEC_FILES to     
	include cert link spec.

From-SVN: r220289

gcc/ada/ChangeLog

+2015-01-30  Jerome Guitton  <guitton@adacore.com>
+
+	* gcc-interface/Makefile.in (x86-vxworks): Update GCC_SPEC_FILES to
+	include cert link spec.
+
 2015-01-30  Robert Dewar  <dewar@adacore.com>
 
 	* einfo.ads: Minor comment fix.

gcc/ada/gcc-interface/Makefile.in

@@ -972,6 +972,7 @@ ifeq ($(strip $(filter-out %86 wrs vxworks vxworks7,$(target_cpu) $(target_vendo
 
   ifneq ($(strip $(filter-out vxworks7%, $(target_os))),)
     GCC_SPEC_FILES+=vxworks-x86-link.spec
+    GCC_SPEC_FILES+=vxworks-cert-x86-link.spec
     GCC_SPEC_FILES+=vxworks-smp-x86-link.spec
   endif
 endif