A linux/x86 patch for float.h

Andreas Jaeger aj@arthur.rhein-neckar.de
Thu Jun 18 08:31:00 GMT 1998


>>>>> H J Lu writes:

 > I don't think all long doubles are the same. Even on x86, not all OSes
 > support 80bit long double. This patch adds the 80bit long double for
 > Linux/x86.

 > Thanks.

 > -- 
 > H.J. Lu (hjl@gnu.org)
 > ---
 > Sat Jun 13 12:14:55 1998  H.J. Lu  (hjl@gnu.org)
 > 
 > 	   * config/float-i386.h: New.
 > 
 > 	   * configure.in (i[34567]86-*-linux-*): Set float_format to i386.

Thanks.  Just for the record: Your patch fixes my bug report to
egcs-bugs with subject "gcc/config/float-i64.h is wrong".

Andreas
-- 
 Andreas Jaeger   aj@arthur.rhein-neckar.de    jaeger@informatik.uni-kl.de
  for pgp-key finger ajaeger@alma.student.uni-kl.de



More information about the Gcc-patches mailing list