[commit] Fix floatformat printing in gdbarch.sh

[Andrew Cagney]

Hello,

The attached tweak fixes the printing of float-formats (double, float, 
long double) by gdbarch.  The original patch didn't work with 
non-multi-arch targets :-(

committing,
Andrew
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: diffs
URL: <http://sourceware.org/pipermail/gdb-patches/attachments/20021208/3b022d70/attachment.ksh>