diff top/maint.mk @ 18648:b09a54d60570

maint.mk: support parallel execution of coverage * top/maint.mk (coverage): Run dependencies serially, thus supporting parallel processing of each one, particularly build-coverage, which builds and runs tests.
author Pádraig Brady <P@draigBrady.com>
date Mon, 02 Jan 2017 21:31:49 +0000
parents 12df2165ec1c
children 2be0cea51886
line wrap: on
line diff
--- a/top/maint.mk	Thu Jan 05 12:51:36 2017 +0100
+++ b/top/maint.mk	Mon Jan 02 21:31:49 2017 +0000
@@ -1501,7 +1501,10 @@
 		--highlight --frames --legend \
 		--title "$(PACKAGE_NAME)"
 
-coverage: init-coverage build-coverage gen-coverage
+coverage:
+	$(MAKE) init-coverage
+	$(MAKE) build-coverage
+	$(MAKE) gen-coverage
 
 # Some projects carry local adjustments for gnulib modules via patches in
 # a gnulib patch directory whose default name is gl/ (defined in bootstrap