Martin Roth (martinroth@google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/12470
-gerrit
commit b58021a1bfb02cea4ddc5cf7ecff6e10c024cf3f Author: Martin Roth martinroth@google.com Date: Wed Nov 18 20:05:37 2015 -0700
lint: finish writing to junit file before exiting on failure.
Change-Id: If14ffd003446727adece06353968a1ac4fe32c00 Signed-off-by: Martin Roth martinroth@google.com --- util/lint/lint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/util/lint/lint b/util/lint/lint index 8732103..be138e1 100755 --- a/util/lint/lint +++ b/util/lint/lint @@ -69,6 +69,6 @@ for script in "$(dirname "$0")/${1}-"*; do junit_write ' </testcase>' done
+junit_write '</testsuite>' test $FAILED -eq 0 || { echo "ERROR: $FAILED test(s) failed."; rm -f "$LINTLOG" && exit 1; }; rm -f "$LINTLOG" -junit_write '</testsuite>'