diff -r e238f7fbc941 -r 42faddd0098a scripts/build/cc_gcc.sh
--- a/scripts/build/cc_gcc.sh	Wed Mar 21 21:03:22 2007 +0000
+++ b/scripts/build/cc_gcc.sh	Sat Apr 21 17:31:51 2007 +0000
@@ -29,6 +29,7 @@
     extra_config="--enable-languages=${lang_opt}"
     [ "${CT_ARCH_FLOAT_SW}" = "y" ] && extra_config="${extra_config} --with-float=soft"
     [ "${CT_SHARED_LIBS}" = "y" ] || extra_config="${extra_config} --disable-shared"
+    [ -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}"