1.1 --- a/scripts/build/cc/gcc.sh	Fri May 09 19:11:59 2014 -0700
     1.2 +++ b/scripts/build/cc/gcc.sh	Wed Jun 25 23:33:01 2014 +0200
     1.3 @@ -188,6 +188,7 @@
     1.4      local -a extra_config
     1.5      local -a core_LDFLAGS
     1.6      local -a core_targets
     1.7 +    local -a extra_user_config
     1.8      local arg
     1.9  
    1.10      for arg in "$@"; do
    1.11 @@ -201,17 +202,20 @@
    1.12              extra_config+=("--with-newlib")
    1.13              extra_config+=("--enable-threads=no")
    1.14              extra_config+=("--disable-shared")
    1.15 +            extra_user_config=( "${CT_CC_CORE_EXTRA_CONFIG_ARRAY[@]}" )
    1.16              copy_headers=y  # For baremetal, as there's no headers to copy,
    1.17                              # we copy an empty directory. So, who cares?
    1.18              ;;
    1.19          shared)
    1.20              extra_config+=("--enable-shared")
    1.21 +            extra_user_config=( "${CT_CC_CORE_EXTRA_CONFIG_ARRAY[@]}" )
    1.22              copy_headers=y
    1.23              ;;
    1.24          baremetal)
    1.25              extra_config+=("--with-newlib")
    1.26              extra_config+=("--enable-threads=no")
    1.27              extra_config+=("--disable-shared")
    1.28 +            extra_user_config=( "${CT_CC_EXTRA_CONFIG_ARRAY[@]}" )
    1.29              copy_headers=n
    1.30              ;;
    1.31          *)
    1.32 @@ -391,7 +395,7 @@
    1.33          ${CC_CORE_SYSROOT_ARG}                      \
    1.34          "${extra_config[@]}"                        \
    1.35          --enable-languages="${lang_list}"           \
    1.36 -        "${CT_CC_CORE_EXTRA_CONFIG_ARRAY[@]}"
    1.37 +        "${extra_user_config[@]}"
    1.38  
    1.39      if [ "${build_libgcc}" = "yes" ]; then
    1.40          # HACK: we need to override SHLIB_LC from gcc/config/t-slibgcc-elf-ver or