diff options
| author | Paul Menzel <paulepanter@users.sourceforge.net> | 2013-10-02 22:10:11 +0200 |
|---|---|---|
| committer | Jonathan A. Kollasch <jakllsch@kollasch.net> | 2013-10-22 04:17:30 +0200 |
| commit | 569ad760cc4d7e3595bd9d4f569d08b021a64663 (patch) | |
| tree | 9b0a21e44f20d2fee82438c45e4ac8b3ca23ffa4 /util/lint/lint-stable-003-whitespace | |
| parent | 553fe1cbc72c849504041fb65dbbb1afacd3914b (diff) | |
util/lint/lint-stable-003-whitespace: Ignore temporary files ending with a tilde
Some editors like gedit create auxiliary files ending with a
tilde '~'. As these are not checked into the Git repository, do
not check these for whitespace errors.
Change-Id: I2c4cf00f9d623be73ea3bbb7b2da4f1e1900c8e9
Signed-off-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-on: http://review.coreboot.org/3952
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
Tested-by: build bot (Jenkins)
Reviewed-by: Jonathan A. Kollasch <jakllsch@kollasch.net>
Diffstat (limited to 'util/lint/lint-stable-003-whitespace')
| -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 \ |