projects / postgresql.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e5d1ae) | patch
Doc: improve explanation of how to use our code coverage infrastructure.
authorTom Lane <tgl@sss.pgh.pa.us>
Tue, 27 Oct 2020 18:31:12 +0000 (14:31 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Tue, 27 Oct 2020 18:31:12 +0000 (14:31 -0400)
commit8d132b2850d4c95ed5666a09b295dea645bbc884
tree1a47095a3364030cf19a7e544dcdfb9dbb28e306tree
parent8e5d1aef8eed26977739b662cddcea2de5efe834commit | diff
Doc: improve explanation of how to use our code coverage infrastructure.

The reference to running "make coverage" in a subdirectory was a
bit obscure, so clarify what happens when you do that.  Do a little
desultory copy-editing, too.

Per a question from Peter Smith.

Discussion: https://postgr.es/m/CAHut+Pu0r3AjRSyu5E0v2-zRj8r24OSrkWs3fEBxOuaw1i8DKA@mail.gmail.com
doc/src/sgml/regress.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.