diff options
| author | Martin Roth <martinroth@google.com> | 2016-01-11 13:49:20 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-01-12 22:32:16 +0100 |
| commit | 0ecbdde285c17c348fe5334a0c0774f3166d2b5a (patch) | |
| tree | 65651033a0f3d14b0e0cb9eacc844258984c9770 /util/lint | |
| parent | aede3fc828a98221fcf64457665fabbe0eb1eb09 (diff) | |
lint: rename lint-006-checkpatch because board name is lint-006
Checkpatch should be 007.
Change-Id: Ib71c50ad1a63a3a743391cd8fea9f79cd08ef6f3
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/12901
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint')
| -rwxr-xr-x | util/lint/lint-007-checkpatch (renamed from util/lint/lint-006-checkpatch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/util/lint/lint-006-checkpatch b/util/lint/lint-007-checkpatch index 9d9d96ebc6..9d9d96ebc6 100755 --- a/util/lint/lint-006-checkpatch +++ b/util/lint/lint-007-checkpatch |