From a791fbb0fa585befa91d12fe685cf1f4da8e579f Mon Sep 17 00:00:00 2001 From: Patrick Georgi Date: Thu, 19 Nov 2015 15:46:37 +0100 Subject: lint: properly terminate junit report on error Otherwise is missing and jenkins can't make sense of things. Change-Id: If11a6d2506efc9d7c915f50896b2714bc66e3b65 Signed-off-by: Patrick Georgi Reviewed-on: http://review.coreboot.org/12478 Tested-by: build bot (Jenkins) Reviewed-by: Martin Roth --- util/lint/lint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'util/lint') 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 ' ' done -test $FAILED -eq 0 || { echo "ERROR: $FAILED test(s) failed."; rm -f "$LINTLOG" && exit 1; }; rm -f "$LINTLOG" junit_write '' +test $FAILED -eq 0 || { echo "ERROR: $FAILED test(s) failed."; exit 1; }; -- cgit v1.2.3