make coverage improvement

dhalbert · dhalbert · commit 375ad0e24ff5 · 2024-08-17T14:59:29.000-04:00
diff --git a/Makefile b/Makefile
@@ -357,8 +357,9 @@ coverage:
 	make -j -C ports/unix VARIANT=coverage
 
 .PHONY: coverage-clean
-coverage-clean:
+coverage-fresh:
 	make -C ports/unix VARIANT=coverage clean
+	make -j -C ports/unix VARIANT=coverage
 
 .PHONY: run-tests
 run-tests:
