diff options
| author | Patrick Georgi <patrick.georgi@secunet.com> | 2012-04-05 11:18:23 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-04-05 20:50:52 +0200 |
| commit | 4dd3853437a3506880e2879e6640d455778f6413 (patch) | |
| tree | 1f20ec82373196030f4195f6a94098f54a9df724 /util/lint/lint-stable-003-whitespace | |
| parent | 92cfe183a75c530331c8dd371cc9719f4ba31992 (diff) | |
| download | coreboot-4dd3853437a3506880e2879e6640d455778f6413.tar.xz | |
Ignore .exe files in whitespace test
On windows, we sometimes require getopt executables, which end up
in the source tree. These shouldn't break the whitespace test.
Change-Id: Iaf86e38b94605bebb69a317e00f932eefcf468b9
Signed-off-by: Patrick Georgi <patrick.georgi@secunet.com>
Reviewed-on: http://review.coreboot.org/863
Tested-by: build bot (Jenkins)
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
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 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 \ |