summaryrefslogtreecommitdiff
path: root/util/lint/lint-000-license-headers
diff options
context:
space:
mode:
authorMartin Roth <martinroth@google.com>2016-04-11 13:35:59 -0600
committerMartin Roth <martinroth@google.com>2016-04-13 17:37:53 +0200
commit84129b8c6858c6d27e4e42f2b06a3b30e907e668 (patch)
tree752c8b80ef890054b1b83aa93c26ab67eb356d26 /util/lint/lint-000-license-headers
parente69d6c2e7bef9e8821423cb476d1a727b73ca1a4 (diff)
downloadcoreboot-84129b8c6858c6d27e4e42f2b06a3b30e907e668.tar.xz
util/lint: update lint-000-license-headers
- Add some additional filters for files that do not require license headers. - Add an alternative wording for the BSD license that is used in several files. - Add string for dummy files - Stop checking if there are no files left. - Remove 'local' keyword which is not posix compliant. Change-Id: I2ed1b0572b5fbe84ea86173b7ec2106454399547 Signed-off-by: Martin Roth <martinroth@google.com> Reviewed-on: https://review.coreboot.org/14324 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint/lint-000-license-headers')
-rwxr-xr-xutil/lint/lint-000-license-headers21
1 files changed, 15 insertions, 6 deletions
diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers
index 884875ec29..16bec9485c 100755
--- a/util/lint/lint-000-license-headers
+++ b/util/lint/lint-000-license-headers
@@ -40,7 +40,14 @@ EXAMPLE|\
_shipped$|\
/microcode-[^/]*.h$|\
/sdram-.*\.inc$|\
-Makefile\.inc\
+Makefile\.inc|\
+\.fmd|\
+devicetree.cb|\
+\.cfg$|\
+\.spd|\
+config|\
+cmos\.layout|\
+cmos\.default\
"
#space separated list of directories to test
@@ -58,14 +65,14 @@ headerlist=$(git ls-files $HEADER_DIRS | egrep -v "($HEADER_EXCLUDED)")
#update headerlist by removing files that match the license string
check_for_license() {
- if [ -z "$2" ]; then
+ if [ -n "$headerlist" ] && [ -z "$2" ]; then
headerlist="$(grep -iL "$1" $headerlist 2>/dev/null)"
- else
- local p1list="$(grep -il "$1" $headerlist 2>/dev/null)"
- local p2list="$(grep -il "$2" $headerlist 2>/dev/null)"
+ elif [ -n "$headerlist" ]; then
+ p1list="$(grep -il "$1" $headerlist 2>/dev/null)"
+ p2list="$(grep -il "$2" $headerlist 2>/dev/null)"
# Make list of files that were in both previous lists
- local pbothlist="$(echo $p1list $p2list | tr ' ' "\n" | \
+ pbothlist="$(echo $p1list $p2list | tr ' ' "\n" | \
sort | uniq -d)"
# Remove all files that were in both of the previous lists
@@ -80,8 +87,10 @@ check_for_license() {
check_for_license "under the terms of the GNU General Public License" \
"WITHOUT ANY WARRANTY"
check_for_license 'IS PROVIDED .*"AS IS"'
+check_for_license 'IS DISTRIBUTED .*"AS IS"'
check_for_license "IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE"
check_for_license '"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES'
+check_for_license 'No license required'
for file in $headerlist; do
#verify the file exists, and has content that requires a header