git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit

Add PostgreSQL version to coverage output

author Peter Eisentraut <peter_e@gmx.net>

2017年8月11日 03:33:47 +0000 (23:33 -0400)

committer Peter Eisentraut <peter_e@gmx.net>

2017年9月29日 12:54:47 +0000 (08:54 -0400)

commit d2773f9bcd980cf6ed720928cd0700196608ef19

tree 68fa4f6d5b40c056b8057bd93f4f4ff5c66ee80e tree

parent 4bb5a2536bcff5dfef9242818979faaa0659b1af commit | diff

Add PostgreSQL version to coverage output

Also make overriding the title easier. That helps telling where the
report came from and labeling different variants of a report.

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

src/Makefile.global.in diff | blob | blame | history

This is the main PostgreSQL git repository.

RSS Atom