* config.gcc (*-*-vxworks*): Do not override an existing extra_objs.
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 5 Sep 2013 13:54:35 +0000 (13:54 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Thu, 5 Sep 2013 13:54:35 +0000 (13:54 +0000)
From-SVN: r202284

gcc/ChangeLog
gcc/config.gcc

index 7374a857309b942eb6d0476b8543effa066897a6..44a23466f8e7ee545f1872cd78350ca72c7b208b 100644 (file)
@@ -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
index d0cb680d04a8804fe5023a6ad9a06cf210398cf8..36d5ae82dd177e675f36d424f0f4701fa36c91a0 100644 (file)
@@ -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' ;;