scripts/build/cc/gcc.sh
branch1.13
changeset 2841 64fe22ca6e6f
parent 2676 af542a04bf69
     1.1 --- a/scripts/build/cc/gcc.sh	Wed Sep 14 12:59:17 2011 +0200
     1.2 +++ b/scripts/build/cc/gcc.sh	Fri Nov 18 11:32:50 2011 +0800
     1.3 @@ -288,6 +288,8 @@
     1.4      extra_config+=(--disable-libgomp)
     1.5      extra_config+=(--disable-libmudflap)
     1.6  
     1.7 +    [ "${CT_CC_GCC_DISABLE_PCH}" = "y" ] && extra_config+=("--disable-libstdcxx-pch")
     1.8 +
     1.9      CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'"
    1.10  
    1.11      # Use --with-local-prefix so older gccs don't look in /usr/local (http://gcc.gnu.org/PR10532)