diff -r defda3b376bf -r 1984d7bcea28 config/target.in
--- a/config/target.in	Sun Jul 22 16:32:24 2007 +0000
+++ b/config/target.in	Mon Jul 30 21:09:12 2007 +0000
@@ -20,7 +20,6 @@
     bool
     prompt "arm"
     select ARCH_SUPPORTS_BOTH_ENDIAN
-    select ARCH_SUPPORTS_LIBFLOAT
 
 config ARCH_MIPS
     bool
@@ -30,7 +29,6 @@
 config ARCH_x86
     bool
     prompt "x86"
-    select ARCH_SUPPORTS_LIBFLOAT
 
 config ARCH_x86_64
     bool
@@ -183,30 +181,6 @@
 
 endchoice
 
-config ARCH_SUPPORTS_LIBFLOAT
-    bool
-    default n
-
-config ARCH_FLOAT_SW_LIBFLOAT
-    bool
-    prompt "Use libfloat"
-    default n
-    depends on ARCH_FLOAT_SW && ARCH_SUPPORTS_LIBFLOAT
-    help
-      For those targets upporting it, you can use libfloat for the software
-      floating point emulation.
-      
-      Note that some versions of gcc have support code that supersedes libfloat,
-      while others don't. Known version of gcc that don't have support code are
-      versions prior to 3.0, and version above 4.0.
-      
-      You should check gcc before deciding to use libfloat.
-
-config LIBFLOAT_VERSION
-    string
-    default "990616.orig"
-    depends on ARCH_FLOAT_SW_LIBFLOAT
-
 config TARGET_CFLAGS
     string
     prompt "Target CFLAGS"