On 29/09/2023 14.05, Cornelia Huck wrote:
On Fri, Sep 29 2023, Markus Armbruster <[email protected]> wrote:

Where are the remaining unmaintained files now?  Top-scoring
directories, files in sub-directories not counted:

     $ sed 's,/[^/]*$,/,;s,^[^/]*$,./,' unmaintained-files | sort | uniq -c | 
sort -nr

       # directory

(...)

      40 include/standard-headers/linux/

Given that these are changed via update-linux-headers.sh, we should
probably add

F: include/standard-headers/

to the Hosts/LINUX entry? (Some headers in standard-headers are covered
in individual sections, but most are not.)

Sounds good, could you please send a patch?

 Thomas


Reply via email to