Hello,

This change simply adds a comment in vxworks.h, describing
our expectations wrt our use of HAVE_INITFINI_ARRAY_SUPPORT
from this header.

Committing to mainline shortly.

Cheers,

Olivier

2022-09-29  Olivier Hainque  <hainque@adacore.com>

gcc/
	* config/vxworks.h: Add comment on our use of
	HAVE_INITFINI_ARRAY_SUPPORT.