K 10
svn:author
V 8
jmallett
K 8
svn:date
V 27
2010-02-28T03:53:27.619126Z
K 7
svn:log
V 265
Go back to using libgcc softfloat rather than libc softfloat since we need
tfloat functions and libc doesn't provide them.  I'm probably just setting
something wrong.  Maybe we just need SOFTFLOAT_BITS=64?  This would seem to
be enough for further experimentation.

END