* config.host (arm-wrs-vxworks): Configure with other soft float.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_8-branch@199748 138bc75d-0d04-0410-961f-82ee72b054a4