From 4f41336fd8cb99cb871dcff12c82faf06e6ac967 Mon Sep 17 00:00:00 2001 From: Patrick Georgi Date: Wed, 30 May 2018 18:43:32 +0200 Subject: [PATCH] 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 Reviewed-on: https://review.coreboot.org/26703 Tested-by: build bot (Jenkins) Reviewed-by: Martin Roth --- util/lint/lint | 6 ++---- 1 file 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 " " $script | tee "$LINTLOG" @@ -67,7 +66,6 @@ for script in "$(dirname "$0")/${1}-"*; do rm -f "$LINTLOG" FAILED=$(( FAILED + 1 )) fi - echo "========" junit_write ' ' done