diff options
| author | Martin Roth <martinroth@google.com> | 2016-10-24 13:36:32 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-10-27 22:20:22 +0200 |
| commit | 78f73353a3c0b7e3e59d0372f02dc1c37b226ac4 (patch) | |
| tree | ee5e80972202c04546ff65996dfe5591bac7b88d /util/lint/lint | |
| parent | 46dd467648564a48cd40de8ffb75270197c19f0c (diff) | |
| download | coreboot-78f73353a3c0b7e3e59d0372f02dc1c37b226ac4.tar.xz | |
util/lint/lint: Show lint script output as it's running
The checkpatch script takes a really long time to run, and when the
output is buffered to wait until it's finished, it's hard to tell if
the script is actually doing anything.
Instead, use tee to log the output and display it at the same time.
Change-Id: I3cf36e5e6ca28584103888ee1c6f125320ac068a
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/17125
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'util/lint/lint')
| -rwxr-xr-x | util/lint/lint | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/util/lint/lint b/util/lint/lint index 826685d292..772d8bdaeb 100755 --- a/util/lint/lint +++ b/util/lint/lint @@ -50,15 +50,14 @@ for script in "$(dirname "$0")/${1}-"*; do grep "^# DESCR:" "$script" | sed "s,.*DESCR: *,," echo "========" junit_write " <testcase classname='lint' name='$(basename "$script")'>" - $script > "$LINTLOG" + $script | tee "$LINTLOG" #if the lint script gives any output, that's a failure if [ "$(wc -l < "$LINTLOG")" -eq 0 ]; then echo "success" junit_write " <system-out><![CDATA[success]]></system-out>" else - echo "test failed:" - cat "$LINTLOG" + echo "test failed" junit_write " <failure type='testFailed'><![CDATA[" junit_write "$(cat "$LINTLOG")" junit_write "]]></failure>" |