diff -r 7e2539937b6e -r c0846c936c07 config/target.in
--- a/config/target.in	Mon Apr 23 20:30:34 2007 +0000
+++ b/config/target.in	Tue May 22 20:36:05 2007 +0000
@@ -205,6 +205,11 @@
       
       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"