1.1 --- a/config/cc/gcc.in	Wed Aug 19 19:44:44 2009 +0200
     1.2 +++ b/config/cc/gcc.in	Wed Aug 19 19:44:45 2009 +0200
     1.3 @@ -205,6 +205,17 @@
     1.4  
     1.5  endchoice
     1.6  
     1.7 +config CC_ENABLE_CXX_FLAGS
     1.8 +    string
     1.9 +    prompt "Flags to pass to --enable-cxx-flags"
    1.10 +    default ""
    1.11 +    help
    1.12 +      Enter here the value of the gcc's ./configure option --enable-cxx-flags.
    1.13 +      Leave empty if you don't know better.
    1.14 +      
    1.15 +      Note: just pass in the option _value_, that is only the part that goes
    1.16 +      after the '=' sign.
    1.17 +
    1.18  config CC_CORE_EXTRA_CONFIG
    1.19      string
    1.20      prompt "Core gcc extra config"

     2.1 --- a/scripts/build/cc/gcc.sh	Wed Aug 19 19:44:44 2009 +0200
     2.2 +++ b/scripts/build/cc/gcc.sh	Wed Aug 19 19:44:45 2009 +0200
     2.3 @@ -309,6 +309,9 @@
     2.4          extra_config+=("--with-cloog=${CT_PREFIX_DIR}")
     2.5          extra_config+=("--with-mpc=${CT_PREFIX_DIR}")
     2.6      fi
     2.7 +    if [ -n "${CC_ENABLE_CXX_FLAGS}" ]; then
     2.8 +        extra_config+=("--enable-cxx-flags=${CC_ENABLE_CXX_FLAGS}")
     2.9 +    fi
    2.10  
    2.11      CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'"
    2.12