From: Pádraig Brady Date: Mon, 2 Jan 2017 21:31:49 +0000 (+0000) Subject: maint.mk: support parallel execution of coverage X-Git-Tag: v1.0~6411 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=4bbd45b4b6ae956992cee524cf9883cec526fcc8;p=gnulib.git 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. --- 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 lock: Provide guarantee to avoid writer starvation for rwlocks. 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