summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/lint/lint-stable-003-whitespace2
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 \