diff options
Diffstat (limited to 'scripts/build/cc/gcc.sh')
| -rw-r--r-- | scripts/build/cc/gcc.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/build/cc/gcc.sh b/scripts/build/cc/gcc.sh index ed804636..3234e473 100644 --- a/scripts/build/cc/gcc.sh +++ b/scripts/build/cc/gcc.sh @@ -171,6 +171,9 @@ do_cc_core() { extra_config+=("--with-cloog=${CT_COMPLIBS_DIR}") extra_config+=("--with-mpc=${CT_COMPLIBS_DIR}") fi + if [ "${CT_CC_GCC_USE_LIBELF}" = "y" ]; then + extra_config+=("--with-libelf=${CT_COMPLIBS_DIR}") + fi CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'" @@ -333,6 +336,9 @@ do_cc() { extra_config+=("--with-cloog=${CT_COMPLIBS_DIR}") extra_config+=("--with-mpc=${CT_COMPLIBS_DIR}") fi + if [ "${CT_CC_GCC_USE_LIBELF}" = "y" ]; then + extra_config+=("--with-libelf=${CT_COMPLIBS_DIR}") + fi if [ "${CT_THREADS}" = "none" ]; then extra_config+=("--disable-threads") |