From 4bbd45b4b6ae956992cee524cf9883cec526fcc8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?P=C3=A1draig=20Brady?= <P@draigBrady.com>
Date: Mon, 2 Jan 2017 21:31:49 +0000
Subject: 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.
---
 top/maint.mk | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'top/maint.mk')

diff --git a/top/maint.mk b/top/maint.mk
index 874a7fcfe4..28cb9db101 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -1501,7 +1501,10 @@ gen-coverage:
 		--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
-- 
cgit v1.2.1