* config.host (arm-wrs-vxworks): Configure with other soft float.
commit1a7dfb130c5d0ee94c7b04ac2f2b519e0d6d39ff
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 6 Jun 2013 17:43:41 +0000 (6 17:43 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 6 Jun 2013 17:43:41 +0000 (6 17:43 +0000)
treea37a7f14ab2f525410b00572fd8317c29badb3a9
parentaa78dca55b95919f663c4239dfc60b6724bf37af
* config.host (arm-wrs-vxworks): Configure with other soft float.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199747 138bc75d-0d04-0410-961f-82ee72b054a4
libgcc/ChangeLog
libgcc/config.host