scripts/crosstool.sh
changeset 769 722d8cc91946
parent 762 9d85c3a08033
child 805 ae730f907bed
     1.1 --- a/scripts/crosstool.sh	Thu Aug 07 07:52:09 2008 +0000
     1.2 +++ b/scripts/crosstool.sh	Thu Aug 07 21:33:09 2008 +0000
     1.3 @@ -71,6 +71,8 @@
     1.4  # Put user-supplied flags at the end, so that they take precedence.
     1.5  CT_TARGET_CFLAGS="${CT_ARCH_TARGET_CFLAGS} ${CT_TARGET_CFLAGS}"
     1.6  CT_TARGET_LDFLAGS="${CT_ARCH_TARGET_LDFLAGS} ${CT_TARGET_LDFLAGS}"
     1.7 +CT_CC_CORE_EXTRA_CONFIG="${CT_ARCH_CC_CORE_EXTRA_CONFIG} ${CT_CC_CORE_EXTRA_CONFIG}"
     1.8 +CT_CC_EXTRA_CONFIG="${CT_ARCH_CC_EXTRA_CONFIG} ${CT_CC_EXTRA_CONFIG}"
     1.9  
    1.10  # Now, build up the variables from the user-configured options.
    1.11  CT_KERNEL_FILE="${CT_KERNEL}-${CT_KERNEL_VERSION}"