summaryrefslogtreecommitdiff
path: root/util/lint
diff options
context:
space:
mode:
authorPatrick Georgi <pgeorgi@google.com>2017-09-06 13:18:06 +0200
committerPatrick Georgi <pgeorgi@google.com>2017-12-05 15:04:11 +0000
commit55d26875b39585fa51d63b5f1e678e474b69fbad (patch)
tree856a7ea867a42a1c9897b7eec252f4554fd4d5da /util/lint
parentc68c4bca1adbf00e62dae558f06f48f82ea69c9d (diff)
downloadcoreboot-55d26875b39585fa51d63b5f1e678e474b69fbad.tar.xz
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')
-rwxr-xr-xutil/lint/lint-stable-012-executable-bit2
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-stable-012-executable-bit b/util/lint/lint-stable-012-executable-bit
index 5e12c956ca..e7ff3cb64b 100755
--- a/util/lint/lint-stable-012-executable-bit
+++ b/util/lint/lint-stable-012-executable-bit
@@ -16,5 +16,5 @@
# DESCR: Check that source files are not executable
LC_ALL=C export LC_ALL
-find src -type f -a \( -perm -100 -o -perm -010 -o -perm -001 \) -a \! -name '*.sh'| \
+git ls-tree --full-tree -r HEAD src |grep "^100[7531][7531][7531] blob " |cut -f2- |grep -v "\.sh$" | \
sed -e "s,^.*$,File & has one or more executable bits set in the file permissions.,"