diff options
| author |   Bryan Hundven <bryanhundven@gmail.com> | 2015-09-01 05:15:37 (GMT) |
|---|---|---|
| committer | Bryan Hundven <bryanhundven@gmail.com> | 2015-09-01 05:15:37 (GMT) |
| commit | 6ac93ed03b69117ff2dbfe0ba5e8c3099218ce87 (patch) | |
| tree | c0939c52e10c50fa572ab8802b2e6708999738a6 /scripts | |
| parent | 366255e75c9da7e5d3503b543cb9823a2caae5a7 (diff) | |
| parent | c6f30f67f046d84643b99d0a1f3a9409733efef9 (diff) | |
Merge pull request #144 from jasmin-j/fix_142
Fix for issue #142:
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build/cc/100-gcc.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/build/cc/100-gcc.sh b/scripts/build/cc/100-gcc.sh index 56b6e21..05b5456 100644 --- a/scripts/build/cc/100-gcc.sh +++ b/scripts/build/cc/100-gcc.sh @@ -207,17 +207,17 @@ do_gcc_core_backend() { extra_config+=("--with-newlib") extra_config+=("--enable-threads=no") extra_config+=("--disable-shared") - extra_user_config=( "${CT_CC_CORE_EXTRA_CONFIG_ARRAY[@]}" ) + extra_user_config=( "${CT_CC_GCC_CORE_EXTRA_CONFIG_ARRAY[@]}" ) ;; shared) extra_config+=("--enable-shared") - extra_user_config=( "${CT_CC_CORE_EXTRA_CONFIG_ARRAY[@]}" ) + extra_user_config=( "${CT_CC_GCC_CORE_EXTRA_CONFIG_ARRAY[@]}" ) ;; baremetal) extra_config+=("--with-newlib") extra_config+=("--enable-threads=no") extra_config+=("--disable-shared") - extra_user_config=( "${CT_CC_EXTRA_CONFIG_ARRAY[@]}" ) + extra_user_config=( "${CT_CC_GCC_CORE_EXTRA_CONFIG_ARRAY[@]}" ) ;; *) CT_Abort "Internal Error: 'mode' must be one of: 'static', 'shared' or 'baremetal', not '${mode:-(empty)}'" |