diff options
author | Martin Roth <martinroth@google.com> | 2016-01-12 10:25:49 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-01-18 04:15:53 +0100 |
commit | c4511e2b733c2ad37e79de8fed6f786bae0a29e0 (patch) | |
tree | 0ade715a0c9e4165a5d078499eee9e7868c6b5fb /util/lint/lint-stable-000-license-headers | |
parent | fd277d8f9406c746ed929a042e01afd31022b605 (diff) | |
download | coreboot-c4511e2b733c2ad37e79de8fed6f786bae0a29e0.tar.xz |
util/lint: Update license linter, make stable version
- Split the script up to make it easier to update and read.
- Check for multiple different license strings. Not all files are GPL
licensed.
- Don't validate 0 length files
- Update list of files to exclude from the license header check.
- Add command line option to set directories to check
- Add stable version to check a few directories that are fixed. This
just calls the non-stable version with the directories to check.
Change-Id: I90d4e93a20b4e1638ce4f43f8acbee72dc588625
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/12909
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/lint/lint-stable-000-license-headers')
-rwxr-xr-x | util/lint/lint-stable-000-license-headers | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/util/lint/lint-stable-000-license-headers b/util/lint/lint-stable-000-license-headers new file mode 100755 index 0000000000..494f6a58c5 --- /dev/null +++ b/util/lint/lint-stable-000-license-headers @@ -0,0 +1,18 @@ +#!/bin/sh +# This file is part of the coreboot project. +# +# Copyright (C) 2016 Google Inc. +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; version 2 of the License. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# +# DESCR: Check that files have license headers + +util/lint/lint-000-license-headers "src/arch src/acpi src/superio src/ec src/commonlib" |