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