diff -r b5179235b925 -r 149c33923f47 scripts/functions
--- a/scripts/functions	Wed Oct 19 15:27:32 2011 +1300
+++ b/scripts/functions	Wed Oct 19 15:27:32 2011 +1300
@@ -985,6 +985,10 @@
     [ "${CT_ARCH_FPU}"      ] && { CT_ARCH_FPU_CFLAG="-mfpu=${CT_ARCH_FPU}";     CT_ARCH_WITH_FPU="--with-fpu=${CT_ARCH_FPU}";    }
 
     case "${CT_ARCH_FLOAT}" in
+        hard)
+            CT_ARCH_FLOAT_CFLAG="-mhard-float"
+            CT_ARCH_WITH_FLOAT="--with-float=hard"
+            ;;
         soft)
             CT_ARCH_FLOAT_CFLAG="-msoft-float"
             CT_ARCH_WITH_FLOAT="--with-float=soft"