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