scripts/build/cc_gcc.sh
changeset 45 42faddd0098a
parent 20 e238f7fbc941
child 48 d19bdc2c5fff
     1.1 --- a/scripts/build/cc_gcc.sh	Wed Mar 21 21:03:22 2007 +0000
     1.2 +++ b/scripts/build/cc_gcc.sh	Sat Apr 21 17:31:51 2007 +0000
     1.3 @@ -29,6 +29,7 @@
     1.4      extra_config="--enable-languages=${lang_opt}"
     1.5      [ "${CT_ARCH_FLOAT_SW}" = "y" ] && extra_config="${extra_config} --with-float=soft"
     1.6      [ "${CT_SHARED_LIBS}" = "y" ] || extra_config="${extra_config} --disable-shared"
     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}"