diff -r af542a04bf69 -r 64fe22ca6e6f scripts/build/cc/gcc.sh
--- a/scripts/build/cc/gcc.sh	Wed Sep 14 12:59:17 2011 +0200
+++ b/scripts/build/cc/gcc.sh	Fri Nov 18 11:32:50 2011 +0800
@@ -288,6 +288,8 @@
     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)