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 /src/device/Makefile.inc | |
parent | fd277d8f9406c746ed929a042e01afd31022b605 (diff) |
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 'src/device/Makefile.inc')
0 files changed, 0 insertions, 0 deletions