diff options
Diffstat (limited to 'util/lint')
| -rwxr-xr-x | util/lint/lint-stable-012-executable-bit | 2 |
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.," |