Fix coverage generation

bradhowes · Dec 6, 2021 · 91d194c · 91d194c
1 parent 6cfc464
commit 91d194c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -25,7 +25,7 @@ coverage:
 	done; \
 	[[ -f cov.txt ]] || { echo "** no coverage report found"; exit 1; \\; }
 	@tail -1 cov.txt | awk '{ print $$10; }' > percentage.txt
-	@echo "PERCENTAGE=$$(< percentage.txt)"; \
+	@echo "-- PERCENTAGE=$$(< percentage.txt)"
 	@if [[ -n "$$GITHUB_ENV" ]]; then \
 		echo "PERCENTAGE=$$(< percentage.txt)" >> $$GITHUB_ENV; \
 	fi