scripts/build/cc/gcc.sh
changeset 1920 6df2d4f78948
parent 1901 bdb3a98e064b
child 1924 214c64ba8b21
     1.1 --- a/scripts/build/cc/gcc.sh	Sun Apr 11 23:18:10 2010 +0200
     1.2 +++ b/scripts/build/cc/gcc.sh	Thu Apr 15 22:35:18 2010 +0200
     1.3 @@ -171,6 +171,9 @@
     1.4          extra_config+=("--with-cloog=${CT_COMPLIBS_DIR}")
     1.5          extra_config+=("--with-mpc=${CT_COMPLIBS_DIR}")
     1.6      fi
     1.7 +    if [ "${CT_CC_GCC_USE_LIBELF}" = "y" ]; then
     1.8 +        extra_config+=("--with-libelf=${CT_COMPLIBS_DIR}")
     1.9 +    fi
    1.10  
    1.11      CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'"
    1.12  
    1.13 @@ -333,6 +336,9 @@
    1.14          extra_config+=("--with-cloog=${CT_COMPLIBS_DIR}")
    1.15          extra_config+=("--with-mpc=${CT_COMPLIBS_DIR}")
    1.16      fi
    1.17 +    if [ "${CT_CC_GCC_USE_LIBELF}" = "y" ]; then
    1.18 +        extra_config+=("--with-libelf=${CT_COMPLIBS_DIR}")
    1.19 +    fi
    1.20  
    1.21      if [ "${CT_THREADS}" = "none" ]; then
    1.22          extra_config+=("--disable-threads")