Missing header file is not reported at compile (or verify) time #1508
Description
If a header file is missing or miss-spelled, it is not reported.
This seems wrong.
(The compile will very likely fail later due to undefined variables, and this
does generate error messages, but the real error is the missing header
file, so the error message is very misleading, especially for beginners.)
I'm using 1.0.5 on Linux; verified also on Mac OS (also using 1.0.5)
If I turn on verbose output, there is a warning that the header file can't
be found. This warning should be reported even when verbose output is
suppressed.