Obsolete i[3456]86-sequent*

[Andrew Cagney]

[reply to set to gdb at sources dot redhat dot com]
Hello,

The following systems:

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 ;;

have been identified as candidates for obsolecense:

- they have not been updated to use i387-tdep.c
- they continue to rely on the deprecated floatformat_{to,from}_double

Unless someone steps forward to upgrade those system, their support will 
be permenantly removed.

Andrew

GDB Adminstrator