diff -r 69407950a2a2 -r 80c4338ec0a0 config/target.in
--- a/config/target.in	Sat May 19 22:52:47 2007 +0000
+++ b/config/target.in	Tue May 22 20:36:44 2007 +0000
@@ -21,6 +21,7 @@
     prompt "arm"
     select ARCH_SUPPORTS_BE
     select ARCH_SUPPORTS_LE
+    select ARCH_SUPPORTS_LIBFLOAT
 
 config ARCH_MIPS
     bool
@@ -32,6 +33,7 @@
     bool
     prompt "x86"
     select ARCH_SUPPORTS_LE
+    select ARCH_SUPPORTS_LIBFLOAT
 
 config ARCH_x86_64
     bool
@@ -190,11 +192,15 @@
 
 endchoice
 
+config ARCH_SUPPORTS_LIBFLOAT
+    bool
+    default n
+
 config ARCH_FLOAT_SW_LIBFLOAT
     bool
     prompt "Use libfloat"
     default n
-    depends on ARCH_FLOAT_SW
+    depends on ARCH_FLOAT_SW && ARCH_SUPPORTS_LIBFLOAT
     help
       For those targets upporting it, you can use libfloat for the software
       floating point emulation.