2018-09-21  Olivier Hainque  <hainque@adacore.com>

	* gcc/config.gcc: Factorize and comment inclusion of
	vxworks-dummy.h.

From-SVN: r264480