http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15638

--- Comment #19 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
(In reply to Lucia Huang from comment #17)
> Hi, 
> Is there an option to revert this change?  To generate an error or warning
> for a missing header?  Thanks.

Hi Lucia, no there is no such option. I don't think anyone will spent their
free time adding such an option, would you? You can get almost the same effect
by adding a dummy header with an #error or a #warning directive.

Reply via email to