OSDN Git Service

* config.host (arm-wrs-vxworks): Configure with other soft float.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 6 Jun 2013 17:45:05 +0000 (17:45 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 6 Jun 2013 17:45:05 +0000 (17:45 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@199749 138bc75d-0d04-0410-961f-82ee72b054a4

libgcc/ChangeLog
libgcc/config.host

index 94a2f9c..89111de 100644 (file)
@@ -1,3 +1,7 @@
+2013-06-06  Douglas B Rupp  <rupp@adacore.com>
+
+       * config.host (arm-wrs-vxworks): Configure with other soft float.
+
 2013-05-20  Chung-Ju Wu  <jasonwucj@gmail.com>
 
        Backport from mainline:
index 66b4724..e18e1d2 100644 (file)
@@ -315,7 +315,7 @@ alpha*-dec-*vms*)
        md_unwind_header=alpha/vms-unwind.h
        ;;
 arm-wrs-vxworks)
-       tmake_file="$tmake_file arm/t-arm arm/t-vxworks t-fdpbit"
+       tmake_file="$tmake_file arm/t-arm arm/t-vxworks t-softfp-sfdf t-softfp-excl arm/t-softfp t-softfp"
        extra_parts="$extra_parts crti.o crtn.o"
        ;;
 arm*-*-freebsd*)