78f73353a3
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) |
||
---|---|---|
.. | ||
check_lint_tests | ||
checkpatch.pl | ||
kconfig_lint | ||
kconfig_lint_README | ||
lint | ||
lint-000-license-headers | ||
lint-001-no-global-config-in-romstage | ||
lint-007-checkpatch | ||
lint-008-kconfig | ||
lint-014-qualified-types | ||
lint-015-final-newlines | ||
lint-016-non-ascii | ||
lint-stable-000-license-headers | ||
lint-stable-003-whitespace | ||
lint-stable-004-style-labels | ||
lint-stable-005-board-status | ||
lint-stable-006-board-name | ||
lint-stable-008-kconfig | ||
lint-stable-009-old-licenses | ||
lint-stable-010-asm-syntax | ||
lint-stable-012-executable-bit | ||
lint-stable-013-site-local | ||
remccoms3.sed | ||
spelling.txt |