diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2014-08-10 19:07:09 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-08-11 19:12:22 +0200 |
| commit | 4b65c2ad3300990ea6b471559c5d10b5c6111430 (patch) | |
| tree | 8b6336322f175fec3596b4d8319d210604476aba /util/lint/lint-000-license-headers | |
| parent | f3155d205e6c78b09e4a69af89aa4853bf6a9f6d (diff) | |
lint: improve whitespace test
The whitespace test only trips on files that are part
of the git index - in particular not temporary editor
files or other cruft that doesn't hurt anyone.
Change-Id: I793fcc773845ee02281d8614b07e9c5958126a5a
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/6582
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Diffstat (limited to 'util/lint/lint-000-license-headers')
0 files changed, 0 insertions, 0 deletions