diff options
-rw-r--r-- | config/cc/gcc.in | 12 | ||||
-rw-r--r-- | scripts/build/cc/gcc.sh | 3 |
2 files changed, 15 insertions, 0 deletions
diff --git a/config/cc/gcc.in b/config/cc/gcc.in index 062bff2a..085c92eb 100644 --- a/config/cc/gcc.in +++ b/config/cc/gcc.in @@ -268,6 +268,18 @@ config CC_GCC_ENABLE_TARGET_OPTSPACE This will compile crossgcc's libs with -Os. +config CC_GCC_DISABLE_PCH + bool + prompt "Do not build PCH" + default n + help + Say 'y' here to not use Pre-Compiled Headers in the resulting toolchain. + at the expense of speed when compiling C++ code. + + For some configurations (most notably canadian?), PCH are broken, and + need to be disabled. Please see: + http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40974 + config CC_PKGVERSION string prompt "gcc ID string" diff --git a/scripts/build/cc/gcc.sh b/scripts/build/cc/gcc.sh index 33fadbb5..27e496d3 100644 --- a/scripts/build/cc/gcc.sh +++ b/scripts/build/cc/gcc.sh @@ -367,6 +367,9 @@ do_cc() { if [ "${CT_CC_GCC_ENABLE_TARGET_OPTSPACE}" = "y" ]; then extra_config+=("--enable-target-optspace") fi + if [ "${CT_CC_GCC_DISABLE_PCH}" = "y" ]; then + extra_config+=("--disable-libstdcxx-pch") + fi CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'" |