other/9391: [pch] when trying to compile header files, gcc emits an error, then compiles everything, and only then bails out

[bangerth@dealii.org]

Synopsis: [pch] when trying to compile header files, gcc emits an error, then compiles everything, and only then bails out

State-Changed-From-To: open->feedback
State-Changed-By: bangerth
State-Changed-When: Thu May  1 23:11:40 2003
State-Changed-Why:
    You didn't give us the content of the header file that creating the problem for you.
    
    Could you please retry (pch has been very much improved in
    the meantime) and tell us whether it now works?
    
    Thanks
      Wolfgang

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9391