projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c011236) | patch
Run coverage commands quietly
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 11 Aug 2017 03:33:47 +0000 (23:33 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 6 Oct 2017 15:39:46 +0000 (11:39 -0400)
commit52e1b1b0425553250db35101f44090898322fb6f
tree3717b2ba5799fc8a392c93794bb54c2b3acc32adtree
parentc01123630db18561039d4eb17f9502bed0e9d109commit | diff
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>
src/Makefile.global.in diff | blob | blame | history
This is the main PostgreSQL git repository.