diff --git a/scripts/build/cc/gcc.sh b/scripts/build/cc/gcc.sh index 05df729e..96e78dfc 100644 --- a/scripts/build/cc/gcc.sh +++ b/scripts/build/cc/gcc.sh @@ -288,6 +288,8 @@ do_cc_core() { extra_config+=(--disable-libgomp) extra_config+=(--disable-libmudflap) + [ "${CT_CC_GCC_DISABLE_PCH}" = "y" ] && extra_config+=("--disable-libstdcxx-pch") + CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'" # Use --with-local-prefix so older gccs don't look in /usr/local (http://gcc.gnu.org/PR10532)