diff -r 70a68892831e -r cb9d5bf0cdc4 scripts/build/cc/gcc.sh --- a/scripts/build/cc/gcc.sh Wed Aug 19 19:44:42 2009 +0200 +++ b/scripts/build/cc/gcc.sh Sat Oct 10 16:41:12 2009 +0200 @@ -309,6 +309,9 @@ extra_config+=("--with-cloog=${CT_PREFIX_DIR}") extra_config+=("--with-mpc=${CT_PREFIX_DIR}") fi + if [ -n "${CC_ENABLE_CXX_FLAGS}" ]; then + extra_config+=("--enable-cxx-flags=${CC_ENABLE_CXX_FLAGS}") + fi CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'"