diff options
author | Chris Packham <judge.packham@gmail.com> | 2021-06-09 08:11:30 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-09 08:11:30 (GMT) |
commit | e7139130295097ce05d9c7b3dcbb890c3a084975 (patch) | |
tree | 5b4c270629c046bfadda993bc9aa86af888d5e3d /scripts | |
parent | 6dd60ca6947395b41e09fcf2488066651fb8119a (diff) | |
parent | 1e21a30287d8d50d8425ce4debf1cf493371a6cf (diff) |
Merge pull request #1523 from stephanosio/add_tm_clone_registry_config_upstream
gcc: Add CT_CC_GCC_TM_CLONE_REGISTRY config
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/build/cc/gcc.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/scripts/build/cc/gcc.sh b/scripts/build/cc/gcc.sh index cccd654..c505314 100644 --- a/scripts/build/cc/gcc.sh +++ b/scripts/build/cc/gcc.sh @@ -396,6 +396,12 @@ do_gcc_core_backend() { extra_config+=("--disable-__cxa_atexit") fi + if [ "${CT_CC_GCC_TM_CLONE_REGISTRY}" = "y" ]; then + extra_config+=("--enable-tm-clone-registry") + else + extra_config+=("--disable-tm-clone-registry") + fi + if [ -n "${CT_CC_GCC_ENABLE_CXX_FLAGS}" \ -a "${mode}" = "baremetal" ]; then extra_config+=("--enable-cxx-flags=${CT_CC_GCC_ENABLE_CXX_FLAGS}") @@ -998,6 +1004,12 @@ do_gcc_backend() { extra_config+=("--disable-__cxa_atexit") fi + if [ "${CT_CC_GCC_TM_CLONE_REGISTRY}" = "y" ]; then + extra_config+=("--enable-tm-clone-registry") + else + extra_config+=("--disable-tm-clone-registry") + fi + if [ -n "${CT_CC_GCC_ENABLE_CXX_FLAGS}" ]; then extra_config+=("--enable-cxx-flags=${CT_CC_GCC_ENABLE_CXX_FLAGS}") fi |