From 4bbd45b4b6ae956992cee524cf9883cec526fcc8 Mon Sep 17 00:00:00 2001 From: =?utf8?q?P=C3=A1draig=20Brady?=
Date: Mon, 2 Jan 2017 21:31:49 +0000 Subject: [PATCH] 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. --- ChangeLog | 7 +++++++ top/maint.mk | 5 ++++- 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 2d17cd49ed..4b73b08d95 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2017-01-05 Pádraig Brady
+
+ 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-05 Bruno Haible