diff options
Diffstat (limited to 'scripts/build/cc/gcc.sh')
-rw-r--r-- | scripts/build/cc/gcc.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/build/cc/gcc.sh b/scripts/build/cc/gcc.sh index a79bba9..1737b44 100644 --- a/scripts/build/cc/gcc.sh +++ b/scripts/build/cc/gcc.sh @@ -309,6 +309,9 @@ do_cc() { 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[*]}'" |