diff options
Diffstat (limited to 'scripts/build/cc')
| -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 6eeda28d..352f6518 100644 --- a/scripts/build/cc/gcc.sh +++ b/scripts/build/cc/gcc.sh @@ -392,6 +392,12 @@ do_gcc_core_backend() { extra_config+=(--disable-libstdcxx) fi + if [ "${CT_LIBC_PICOLIBC}" = "y" ]; then + extra_config+=("--with-default-libc=picolibc") + extra_config+=("--enable-stdio=pure") + extra_config+=("--disable-wchar_t") + fi + core_LDFLAGS+=("${ldflags}") # *** WARNING ! *** @@ -1043,6 +1049,12 @@ do_gcc_backend() { extra_config+=(--disable-libstdcxx) fi + if [ "${CT_LIBC_PICOLIBC}" = "y" ]; then + extra_config+=("--with-default-libc=picolibc") + extra_config+=("--enable-stdio=pure") + extra_config+=("--disable-wchar_t") + fi + final_LDFLAGS+=("${ldflags}") # *** WARNING ! *** |