diff -r e238f7fbc941 -r 42faddd0098a scripts/build/cc_core_gcc.sh
--- a/scripts/build/cc_core_gcc.sh	Wed Mar 21 21:03:22 2007 +0000
+++ b/scripts/build/cc_core_gcc.sh	Sat Apr 21 17:31:51 2007 +0000
@@ -16,6 +16,7 @@
 
     extra_config=""
     [ "${CT_ARCH_FLOAT_SW}" = "y" ] && extra_config="${extra_config} --with-float=soft"
+    [ -n "${CT_ARCH_ABI}" ]  && extra_config="${extra_config} --with-abi=${CT_ARCH_ABI}"
     [ -n "${CT_ARCH_CPU}" ]  && extra_config="${extra_config} --with-cpu=${CT_ARCH_CPU}"
     [ -n "${CT_ARCH_TUNE}" ] && extra_config="${extra_config} --with-tune=${CT_ARCH_TUNE}"
     [ -n "${CT_ARCH_ARCH}" ] && extra_config="${extra_config} --with-arch=${CT_ARCH_ARCH}"