Paolo Bonzini <pbonz...@redhat.com> writes: > On 23/05/19 10:15, Markus Armbruster wrote: >> A large number of headers don't pass this test, by design or by >> accident. To keep things more manageable, exclude all headers outside >> include/ for now. > > A lot of these, either in include/ or outside, are _meant_ to be > included many times. What about renaming those to .inc.h and > whitelisting them in the script?
Yes, that would be nice.