summaryrefslogtreecommitdiff
path: root/scripts/build
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-06-17 19:26:23 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-06-17 19:26:23 (GMT)
commit8b8f2c17ba69754b44f3d51dd161735c425de56d (patch)
treeb850ebe6fbc68c3c15605fc278a45f2640d046ac /scripts/build
parentc4933a400cc5911014d9cebb0a2a269c0a8747aa (diff)
cc/gcc: add option do disable PCH
In some cases, using Pre-Compiled Headers breaks the build. Ass an option to disable building the PCH, as suggested by: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40974
Diffstat (limited to 'scripts/build')
-rw-r--r--scripts/build/cc/gcc.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/build/cc/gcc.sh b/scripts/build/cc/gcc.sh
index 33fadbb..27e496d 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[*]}'"