Attention is currently required from: Julius Werner, Martin L Roth.
Maximilian Brune has posted comments on this change by Maximilian Brune. ( https://review.coreboot.org/c/coreboot/+/84584?usp=email )
Change subject: util/lint/lint-000-license-headers: Add license ......................................................................
Patch Set 1:
(1 comment)
File util/lint/lint-000-license-headers:
https://review.coreboot.org/c/coreboot/+/84584/comment/b3bbfd2e_b2322a25?usp... : PS1, Line 92: headerlist="$(grep -iL "${LICENSE_ID_STRING}: $1" $headerlist 2>/dev/null)"
(edit: should have been `-EiL`, not `-eiL`, although maybe that's not even needed for `. […]
I was thinking about it, but it seemed easier (less complicated to test) to just add it for now and leave that problem to a time when we have more than one of these. After all considering the fact that this is the first time the issue apparently arose, I don't see a reason to make it more complicated (even if just by a bit).