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 /src/mainboard/iei | |
parent | 46dd467648564a48cd40de8ffb75270197c19f0c (diff) |
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 'src/mainboard/iei')
0 files changed, 0 insertions, 0 deletions