------- Comment #14 from joseph at codesourcery dot com 2009-02-11 01:16 ------- Subject: Re: gcc should have option to treat missing headers as fatal
I have now posted my preliminary patch: http://gcc.gnu.org/ml/gcc-patches/2009-02/msg00491.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15638