[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] maint.mk: support parallel execution of coverage
From: |
Pádraig Brady |
Subject: |
[PATCH] maint.mk: support parallel execution of coverage |
Date: |
Mon, 2 Jan 2017 21:35:05 +0000 |
* 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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [PATCH] maint.mk: support parallel execution of coverage,
Pádraig Brady <=