summaryrefslogtreecommitdiff
path: root/util/lint
diff options
context:
space:
mode:
authorBalazs Vinarz <vinibali1@gmail.com>2019-01-18 11:23:29 +0100
committerPatrick Georgi <pgeorgi@google.com>2019-04-02 14:58:12 +0000
commit28def8b5a02a429473d1e12f90f332625bf87316 (patch)
tree74eabc8a85b2907b55d09035191b1b29a68059e7 /util/lint
parent6d9c131061fbc984711cb97a0a24e7d4ce77549e (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-xutil/lint/lint-stable-003-whitespace2
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.,"