Patrick Georgi (pgeorgi@google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/12478
-gerrit
commit f9a21a734bd102f9d051338fff11394acd8b6f39 Author: Patrick Georgi pgeorgi@chromium.org Date: Thu Nov 19 15:46:37 2015 +0100
lint: properly terminate junit report on error
Otherwise </testsuite> is missing and jenkins can't make sense of things.
Change-Id: If11a6d2506efc9d7c915f50896b2714bc66e3b65 Signed-off-by: Patrick Georgi pgeorgi@chromium.org --- util/lint/lint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/util/lint/lint b/util/lint/lint index 8732103..826685d 100755 --- a/util/lint/lint +++ b/util/lint/lint @@ -69,6 +69,6 @@ for script in "$(dirname "$0")/${1}-"*; do junit_write ' </testcase>' done
-test $FAILED -eq 0 || { echo "ERROR: $FAILED test(s) failed."; rm -f "$LINTLOG" && exit 1; }; rm -f "$LINTLOG" junit_write '</testsuite>' +test $FAILED -eq 0 || { echo "ERROR: $FAILED test(s) failed."; exit 1; };