diff options
author | Patrick Georgi <pgeorgi@chromium.org> | 2018-05-30 18:43:32 +0200 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2018-06-01 16:25:54 +0000 |
commit | 4f41336fd8cb99cb871dcff12c82faf06e6ac967 (patch) | |
tree | 67c6a19e21bd70689b6b5294fcaf6ebff0a64298 /util | |
parent | e098c8a59346df4c7a17ec7aec04bcf4e3bf1f61 (diff) |
util/lint: use a more compact output format
It now looks like this:
Check that files have license headers (lint-stable-000-license-headers): success
Check for superfluous whitespace in the tree (lint-stable-003-whitespace): success
Check that C labels begin at start-of-line (lint-stable-004-style-labels): success
Change-Id: I9d1f6adebae5b68a51e89c2833f8713f0ffcb616
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/26703
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util')
-rwxr-xr-x | util/lint/lint | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/util/lint/lint b/util/lint/lint index 253a6e6ec4..fcce45f985 100755 --- a/util/lint/lint +++ b/util/lint/lint @@ -49,9 +49,8 @@ fi #run all scripts of the requested type for script in "$(dirname "$0")/${1}-"*; do - printf "\n%s\n" "$(basename "$script")" - grep "^# DESCR:" "$script" | sed "s,.*DESCR: *,," - echo "========" + printf "%s " "$(grep '^# DESCR:' "$script" | sed 's,.*DESCR: *,,')" + printf "(%s): " "$(basename "$script")" junit_write " <testcase classname='lint' name='$(basename "$script")'>" $script | tee "$LINTLOG" @@ -67,7 +66,6 @@ for script in "$(dirname "$0")/${1}-"*; do rm -f "$LINTLOG" FAILED=$(( FAILED + 1 )) fi - echo "========" junit_write ' </testcase>' done |