diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7374a857309..44a23466f8e 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2013-09-05  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* config.gcc (*-*-vxworks*): Do not override an existing extra_objs.
+
 2013-09-05  Richard Biener  <rguenther@suse.de>
 
 	PR tree-optimization/58137
diff --git a/gcc/config.gcc b/gcc/config.gcc
index d0cb680d04a..36d5ae82dd1 100644
--- a/gcc/config.gcc
+++ b/gcc/config.gcc
@@ -831,7 +831,7 @@ case ${target} in
   tmake_file=t-vxworks
   xm_defines=POSIX
   extra_options="${extra_options} vxworks.opt"
-  extra_objs=vxworks.o
+  extra_objs="$extra_objs vxworks.o"
   case ${enable_threads} in
     no) ;;
     "" | yes | vxworks) thread_file='vxworks' ;;