changeset 1732 | 6b2ae7804c6f |
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 Wed Jan 13 20:46:01 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