diff -r be4484f10ac7 -r 9649a1d5ac2f scripts/build/libfloat.sh
--- a/scripts/build/libfloat.sh	Sat Jun 16 18:08:14 2007 +0000
+++ b/scripts/build/libfloat.sh	Mon Jul 16 16:35:15 2007 +0000
@@ -6,7 +6,7 @@
 if [ "${CT_ARCH_FLOAT_SW_LIBFLOAT}" = "y" ]; then
 
 do_print_filename() {
-    echo "${CT_LIBFLOAT_FILE}"
+    echo "libfloat-${CT_LIBFLOAT_VERSION}"
 }
 
 # Download libfloat