Attention is currently required from: Martin Roth, Frans Hendriks, Michael Niewöhner. Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/50106 )
Change subject: util/lint/kconfig_lint: Add util for used configs ......................................................................
Patch Set 1: Code-Review+2
(2 comments)
File util/lint/kconfig_lint:
https://review.coreboot.org/c/coreboot/+/50106/comment/43ba4c5a_41a96f44 PS1, Line 35: ^util/| Maybe this is just wrong, or we should replace it with a more fine-grained directory selection. I guess `abuild` and `lint` itself should be excluded.
Or a positive list, e.g. `dirname util/*/Makefile.inc`.
https://review.coreboot.org/c/coreboot/+/50106/comment/3f6556ae_ec18d099 PS1, Line 457: $util_files_to_check $util_root AIUI, this would check both. In this case the toplevel `Makefile.inc` and everything in `util/`.