diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 891fc92e9b83..1bc809f0ca39 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2014-07-29  Olivier Hainque  <hainque@adacore.com>
+
+	* config/vxworksae.h (VXWORKS_OVERRIDE_OPTIONS): Define.
+
 2014-07-29  H.J. Lu  <hongjiu.lu@intel.com>
 
 	PR bootstrap/61914
diff --git a/gcc/config/vxworksae.h b/gcc/config/vxworksae.h
index 02b89f7db008..8f82026d58b4 100644
--- a/gcc/config/vxworksae.h
+++ b/gcc/config/vxworksae.h
@@ -68,3 +68,7 @@ along with GCC; see the file COPYING3.  If not see
     }                                                                   \
   while (0)
 
+/* Do VxWorks-specific parts of TARGET_OPTION_OVERRIDE.  */
+#undef VXWORKS_OVERRIDE_OPTIONS
+#define VXWORKS_OVERRIDE_OPTIONS vxworks_override_options ()
+extern void vxworks_override_options (void);