On Mon, 3 Mar 2014, Joern Rennecke wrote: > be ignored for the purpose of checking pch validity. > > The attached patch implements this as PchIgnore. > > bootstrapped on i686-pc-linux.gnu. > > OK to apply? OK. -- Joseph S. Myers joseph@codesourcery.com