]> Savannah Git Hosting - gnulib.git/commit
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)
commit4bbd45b4b6ae956992cee524cf9883cec526fcc8
tree26884c35281c6a9a7763cafdb1f64d80ddbf763a
parentbe95b17ae933323cb757471f3d7c3f0617f9257e
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
top/maint.mk