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? Paolo