diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2015-11-19 15:46:37 +0100 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2015-11-19 16:13:50 +0100 |
| commit | a791fbb0fa585befa91d12fe685cf1f4da8e579f (patch) | |
| tree | b4ee7165c6104a7571757f6609cbe78e1e4bbd3e | |
| parent | dea0a7f9ae03eba9b2b0f53da415b057c778ba82 (diff) | |
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>
Reviewed-on: http://review.coreboot.org/12478
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>
| -rwxr-xr-x | util/lint/lint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint b/util/lint/lint index 8732103ebb..826685d292 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; }; |