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