diff -r be4484f10ac7 -r 2be7232a73ac scripts/build/libfloat.sh
--- a/scripts/build/libfloat.sh	Sat Jun 16 18:08:14 2007 +0000
+++ b/scripts/build/libfloat.sh	Sat Jul 28 21:34:41 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