Ben Boeckel <ben.boeckel_at_[hidden]> writes:

> In my mind, flags to build header modules are provided by the compile
> rule that generates the BMI for them. If the compiler cannot find the
> BMI for a header module, I want it to error. If the given BMI is not
> valid for the current compilation (e.g., incompatible compile flags), I
> want it to error.

The compiler may also find a BMI that is out-of-date.