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-000-license-headers | |
| parent | 553fe1cbc72c849504041fb65dbbb1afacd3914b (diff) | |
| download | coreboot-569ad760cc4d7e3595bd9d4f569d08b021a64663.tar.xz | |
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-000-license-headers')
0 files changed, 0 insertions, 0 deletions