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 fceacf7393..1e824a1e76 100755 --- a/util/lint/lint-stable-003-whitespace +++ b/util/lint/lint-stable-003-whitespace @@ -32,6 +32,7 @@ find src util -name .svn -type d -prune -o \ -name microcode-\*.h -prune -o \ -name \*.?_shipped -prune -o \ -name \*.[18] -prune -o \ + -name \*~ -prune -o \ -name kconfig -type d -prune -o \ -name romcc -type d -prune -o \ -name crossgcc -type d -prune -o \ |