diff options
| -rwxr-xr-x | util/lint/lint-stable-003-whitespace | 1 |
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 \ |