From 1c966300ecfc3c7ce08aa243f5c099fd37247d11 Mon Sep 17 00:00:00 2001 From: Ulf Gebhardt Date: Tue, 4 Feb 2025 13:17:44 +0100 Subject: [PATCH] better debug output for doc-coverage script --- scripts/docs-coverage.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/docs-coverage.sh b/scripts/docs-coverage.sh index 97ad4b10..4dea7c05 100755 --- a/scripts/docs-coverage.sh +++ b/scripts/docs-coverage.sh @@ -4,6 +4,6 @@ COVERAGE=$(sed -nE 's/.*>([0-9]{1,3})%<.*/\1/p' docs/coverage.svg | head -1) if (( $COVERAGE >= $COVERAGE_REQUIRED )) then exit 0; else - echo "Coverage: $COVERAGE/$COVERAGE_REQUIRED"; + echo "Coverage: $COVERAGE/$COVERAGE_REQUIRED%"; exit 1; fi \ No newline at end of file