From: Jerome Guitton <guitton@adacore.com>
Date: Fri, 30 Jan 2015 15:29:39 +0000 (+0000)
Subject: Makefile.in (x86-vxworks): Update GCC_SPEC_FILES to include cert link spec.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0d1476cb57fbc0f647fd681ae1255ace57f5cb06;p=gcc.git

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
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f748f63273b..74279b19742 100644
--- 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 870cfab5ea5..df2d84c58e2 100644
--- 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