gdb/531: Obsolete i[3456]86-sequent-*

[ac131313@redhat.com]

>Number:         531
>Category:       gdb
>Synopsis:       Obsolete i[3456]86-sequent-*
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          change-request
>Submitter-Id:   net
>Arrival-Date:   Sat May 04 17:48:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     ac131313@redhat.com
>Release:        unknown-1.0
>Organization:
>Environment:

>Description:
The assorted sequent natives:

i[3456]86-sequent-bsd*) gdb_host=symmetry ;;  # dynix
i[3456]86-sequent-sysv4*) gdb_host=ptx4 ;;
i[3456]86-sequent-sysv*) gdb_host=ptx ;;

haven't been updated to use i387-tdep.c.
They also continue to use floatformat_from_double() instead of floatformat_from_doublest().
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: