scripts/build/cc/gcc.sh
changeset 3279 c4b4bb58f639
parent 3273 c95c1ccf5b77
child 3300 15fb3cdc8c48
     1.1 --- a/scripts/build/cc/gcc.sh	Sat Jan 04 20:16:18 2014 +0100
     1.2 +++ b/scripts/build/cc/gcc.sh	Sat Jan 04 16:17:40 2014 +0100
     1.3 @@ -333,6 +333,11 @@
     1.4          *)  extra_config+=( "--with-linker-hash-style=${CT_CC_GCC_LNK_HASH_STYLE}" );;
     1.5      esac
     1.6  
     1.7 +    case "${CT_CC_GCC_DEC_FLOATS}" in
     1.8 +        "") ;;
     1.9 +        *)  extra_config+=( "--enable-decimal-float=${CT_CC_GCC_DEC_FLOATS}" );;
    1.10 +    esac
    1.11 +
    1.12      case "${CT_ARCH}" in
    1.13          mips)
    1.14              case "${CT_CC_GCC_mips_llsc}" in
    1.15 @@ -784,6 +789,11 @@
    1.16          *)  extra_config+=( "--with-linker-hash-style=${CT_CC_GCC_LNK_HASH_STYLE}" );;
    1.17      esac
    1.18  
    1.19 +    case "${CT_CC_GCC_DEC_FLOATS}" in
    1.20 +        "") ;;
    1.21 +        *)  extra_config+=( "--enable-decimal-float=${CT_CC_GCC_DEC_FLOATS}" );;
    1.22 +    esac
    1.23 +
    1.24      if [ "${CT_CC_GCC_ENABLE_PLUGINS}" = "y" ]; then
    1.25          extra_config+=( --enable-plugin )
    1.26      fi