scripts/build/cc/gcc.sh
changeset 1761 88020b2c3246
parent 1479 70a68892831e
child 1808 a1370757e6a1
child 1931 875abab986ac
     1.1 --- a/scripts/build/cc/gcc.sh	Wed Aug 19 19:44:42 2009 +0200
     1.2 +++ b/scripts/build/cc/gcc.sh	Tue Jan 12 19:24:03 2010 +0100
     1.3 @@ -309,6 +309,9 @@
     1.4          extra_config+=("--with-cloog=${CT_PREFIX_DIR}")
     1.5          extra_config+=("--with-mpc=${CT_PREFIX_DIR}")
     1.6      fi
     1.7 +    if [ -n "${CC_ENABLE_CXX_FLAGS}" ]; then
     1.8 +        extra_config+=("--enable-cxx-flags=${CC_ENABLE_CXX_FLAGS}")
     1.9 +    fi
    1.10  
    1.11      CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'"
    1.12