diff options
| author | Martin Roth <martinroth@google.com> | 2016-04-11 13:35:59 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-04-13 17:37:53 +0200 |
| commit | 84129b8c6858c6d27e4e42f2b06a3b30e907e668 (patch) | |
| tree | 752c8b80ef890054b1b83aa93c26ab67eb356d26 /.gitignore | |
| parent | e69d6c2e7bef9e8821423cb476d1a727b73ca1a4 (diff) | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions