summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/lint/lint-stable-003-whitespace1
1 files changed, 1 insertions, 0 deletions
diff --git a/util/lint/lint-stable-003-whitespace b/util/lint/lint-stable-003-whitespace
index fe305bf409..a5ca54091b 100755
--- a/util/lint/lint-stable-003-whitespace
+++ b/util/lint/lint-stable-003-whitespace
@@ -26,6 +26,7 @@ find src util -name .svn -type d -prune -o \
-name TODO -prune -o \
-name COPYING -prune -o \
-name \*.txt -prune -o \
+ -name \*.exe -prune -o \
-name microcode-\*.h -prune -o \
-name \*.?_shipped -prune -o \
-name \*.[18] -prune -o \