2015-01-30 Jerome Guitton <guitton@adacore.com>

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220289 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f748f63..74279b1 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+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.

diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada/gcc-interface/Makefile.in
index 870cfab..df2d84c 100644 (file)
--- a/gcc/ada/gcc-interface/Makefile.in
+++ b/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