scripts/build/cc_core_gcc.sh
changeset 45 42faddd0098a
parent 20 e238f7fbc941
child 63 89b41dbffe8d
     1.1 --- a/scripts/build/cc_core_gcc.sh	Wed Mar 21 21:03:22 2007 +0000
     1.2 +++ b/scripts/build/cc_core_gcc.sh	Sat Apr 21 17:31:51 2007 +0000
     1.3 @@ -16,6 +16,7 @@
     1.4  
     1.5      extra_config=""
     1.6      [ "${CT_ARCH_FLOAT_SW}" = "y" ] && extra_config="${extra_config} --with-float=soft"
     1.7 +    [ -n "${CT_ARCH_ABI}" ]  && extra_config="${extra_config} --with-abi=${CT_ARCH_ABI}"
     1.8      [ -n "${CT_ARCH_CPU}" ]  && extra_config="${extra_config} --with-cpu=${CT_ARCH_CPU}"
     1.9      [ -n "${CT_ARCH_TUNE}" ] && extra_config="${extra_config} --with-tune=${CT_ARCH_TUNE}"
    1.10      [ -n "${CT_ARCH_ARCH}" ] && extra_config="${extra_config} --with-arch=${CT_ARCH_ARCH}"