[VxWorks] Resurrect ARM port (again)

[Eric Botcazou]

The new extra_objs setting for the ARM was overridden for VxWorks.

Applied on the mainline as obvious.


2013-09-05  Eric Botcazou  <ebotca...@adacore.com>

        * config.gcc (*-*-vxworks*): Do not override an existing extra_objs.


-- 
Eric Botcazou
Index: config.gcc
===================================================================
--- config.gcc	(revision 202160)
+++ config.gcc	(working copy)
@@ -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' ;;