Run coverage commands quietly

Peter Eisentraut <peter_e@gmx.net>

Commit: 52e1b1b0425553250db35101f44090898322fb6f
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2017-10-06T15:39:46Z
Releases: 11.0
Run coverage commands quietly

They are very chatty by default, but the output doesn't seem all that
useful for normal operation.

Reviewed-by: Michael Paquier <michael.paquier@gmail.com>

Files

PathChange+/−
src/Makefile.global.in modified +2 −2