diff options
| author | Patrick Georgi <patrick.georgi@secunet.com> | 2012-04-12 15:23:58 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-04-17 21:40:45 +0200 |
| commit | 210fa302a3439002f78331e9b0d903bf02a6b6cf (patch) | |
| tree | a45ce26745c8044cdee5bd87c4e2815169bec6a4 /util/lint/lint-stable-004-style-labels | |
| parent | 89823fde181608becd82c810bbf2894f547b4c9e (diff) | |
lint: tighten whitespace check some more
Don't test executable files nor object files, even if the former might
render the test useless on win32 (executable bit isn't well defined there).
Change-Id: Ifb6fc83243289d266f439316c14b6b009f8da5fc
Signed-off-by: Patrick Georgi <patrick.georgi@secunet.com>
Reviewed-on: http://review.coreboot.org/890
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/lint/lint-stable-004-style-labels')
0 files changed, 0 insertions, 0 deletions