diff -r 198a5a6e5239 -r 1974075aa641 scripts/build/cc/gcc.sh
--- a/scripts/build/cc/gcc.sh	Sun Jun 13 23:38:37 2010 +0200
+++ b/scripts/build/cc/gcc.sh	Thu Jun 17 21:26:23 2010 +0200
@@ -367,6 +367,9 @@
     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[*]}'"