diff options
| -rwxr-xr-x | util/lint/lint-stable-003-whitespace | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/lint/lint-stable-003-whitespace b/util/lint/lint-stable-003-whitespace index a5ca54091b..6869a44fd8 100755 --- a/util/lint/lint-stable-003-whitespace +++ b/util/lint/lint-stable-003-whitespace @@ -20,6 +20,7 @@ LC_ALL=C export LC_ALL find src util -name .svn -type d -prune -o \ + -perm +111 -prune -o \ -name .git -type d -prune -o \ -name README -prune -o \ -name LICENSE -prune -o \ @@ -27,6 +28,7 @@ find src util -name .svn -type d -prune -o \ -name COPYING -prune -o \ -name \*.txt -prune -o \ -name \*.exe -prune -o \ + -name \*.o -prune -o \ -name microcode-\*.h -prune -o \ -name \*.?_shipped -prune -o \ -name \*.[18] -prune -o \ |