diff options
author | Pádraig Brady <P@draigBrady.com> | 2017-01-02 21:31:49 +0000 |
---|---|---|
committer | Pádraig Brady <P@draigBrady.com> | 2017-01-05 14:46:20 +0000 |
commit | 4bbd45b4b6ae956992cee524cf9883cec526fcc8 (patch) | |
tree | 26884c35281c6a9a7763cafdb1f64d80ddbf763a /top/maint.mk | |
parent | be95b17ae933323cb757471f3d7c3f0617f9257e (diff) | |
download | gnulib-4bbd45b4b6ae956992cee524cf9883cec526fcc8.tar.gz |
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.
Diffstat (limited to 'top/maint.mk')
-rw-r--r-- | top/maint.mk | 5 |
1 files changed, 4 insertions, 1 deletions
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 |