]> Savannah Git Hosting - gnulib.git/commitdiff
maint.mk: support parallel execution of coverage
authorPádraig Brady <P@draigBrady.com>
Mon, 2 Jan 2017 21:31:49 +0000 (21:31 +0000)
committerPádraig Brady <P@draigBrady.com>
Thu, 5 Jan 2017 14:46:20 +0000 (14:46 +0000)
* top/maint.mk (coverage): Run dependencies serially,
thus supporting parallel processing of each one,
particularly build-coverage, which builds and runs tests.

ChangeLog
top/maint.mk

index 2d17cd49ede57462ef5da7698f1ab43eda69673a..4b73b08d957f3c368b93b209bdfacb357f86f669 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2017-01-05  Pádraig Brady  <P@draigBrady.com>
+
+       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  <bruno@clisp.org>
 
        lock: Provide guarantee to avoid writer starvation for rwlocks.
index 874a7fcfe45fcf0a4da3665e7ee2c0cd0288699c..28cb9db101b6983c41494c129724860abc5cbc95 100644 (file)
@@ -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