changeset 1991 | 1974075aa641 |
parent 1983 | 198a5a6e5239 |
child 2014 | cd9322b076d7 |
1.1 --- a/scripts/build/cc/gcc.sh Sun Jun 13 23:38:37 2010 +0200 1.2 +++ b/scripts/build/cc/gcc.sh Thu Jun 17 21:26:23 2010 +0200 1.3 @@ -367,6 +367,9 @@ 1.4 if [ "${CT_CC_GCC_ENABLE_TARGET_OPTSPACE}" = "y" ]; then 1.5 extra_config+=("--enable-target-optspace") 1.6 fi 1.7 + if [ "${CT_CC_GCC_DISABLE_PCH}" = "y" ]; then 1.8 + extra_config+=("--disable-libstdcxx-pch") 1.9 + fi 1.10 1.11 CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'" 1.12