[PATCH] maint.mk: support parallel execution of coverage

[Pádraig Brady]

* top/maint.mk (coverage): Run dependencies serially,
thus supporting parallel processing of each one,
particularly build-coverage, which builds and runs tests.
---
 ChangeLog    | 7 +++++++
 top/maint.mk | 5 ++++-
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 66ea430..b2fe194 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2017-01-02  Pádraig Brady  <address@hidden>
+
+       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.
+
 2017-01-02  Paul Eggert  <address@hidden>
 
        dfa: prefer functions to FETCH_WC macro
diff --git a/top/maint.mk b/top/maint.mk
index 874a7fc..28cb9db 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
-- 
2.5.5