diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2017-09-06 13:18:06 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2017-12-05 15:04:11 +0000 |
| commit | 55d26875b39585fa51d63b5f1e678e474b69fbad (patch) | |
| tree | 856a7ea867a42a1c9897b7eec252f4554fd4d5da /util/lint/lint-stable-019-header-files | |
| parent | c68c4bca1adbf00e62dae558f06f48f82ea69c9d (diff) | |
lint-stable: Only check files tracked by git (ie source files) for +x
Change-Id: I99cbcba7a086ef950f248888a83cf24a4db4aee9
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/21419
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'util/lint/lint-stable-019-header-files')
0 files changed, 0 insertions, 0 deletions