scripts/build/cc/gcc.sh
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