diff options
author | Balazs Vinarz <vinibali1@gmail.com> | 2019-01-18 11:23:29 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2019-04-02 14:58:12 +0000 |
commit | 28def8b5a02a429473d1e12f90f332625bf87316 (patch) | |
tree | 74eabc8a85b2907b55d09035191b1b29a68059e7 /util/lint | |
parent | 6d9c131061fbc984711cb97a0a24e7d4ce77549e (diff) |
util/lint: list files with whitespace issues
Change-Id: I8ae13f62c6e2cd87278fefab8de5faf0d1bc0a90
Signed-off-by: Balazs Vinarz <vinibali1@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/30988
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint')
-rwxr-xr-x | util/lint/lint-stable-003-whitespace | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-stable-003-whitespace b/util/lint/lint-stable-003-whitespace index f9b7891d7c..b2011e7f65 100755 --- a/util/lint/lint-stable-003-whitespace +++ b/util/lint/lint-stable-003-whitespace @@ -20,7 +20,7 @@ INCLUDELIST="src util payloads Makefile* toolchain.inc" # shellcheck disable=SC2086,SC2046 if uname | grep -qi "linux"; then - grep -l "[[:space:]][[:space:]]*$" \ + grep -n -H "[[:space:]][[:space:]]*$" \ $(git ls-files $INCLUDELIST | \ grep -Ev "($EXCLUDELIST)" ) | \ sed -e "s,^.*$,File & has lines ending with whitespace.," |