]> granicus.if.org Git - postgresql/commit
Avoid use of wildcard in pg_waldump's .gitignore.
authorTom Lane <tgl@sss.pgh.pa.us>
Sat, 5 Oct 2019 16:26:55 +0000 (12:26 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Sat, 5 Oct 2019 16:26:55 +0000 (12:26 -0400)
commitd82f3909da11f9732fbc488333de0fdeb4d91ff5
tree527d218d74f81e179ee972b4178508edc7cb9065
parent3a68105154c3a35e4b107b41e2f54ec85fbe29f5
Avoid use of wildcard in pg_waldump's .gitignore.

This would be all right, maybe, if it didn't also match a file that
definitely should not be ignored.  We don't add rmgrs so often that
manual maintenance of this file list is impractical, so just write
out the list.

(I find the equivalent wildcard use in the Makefile pretty lazy and
unsafe as well, but will leave that alone until it actually causes a
problem.)

Per bug #16042 from Denis Stuchalin.

Discussion: https://postgr.es/m/16042-c174ee692ac21cbd@postgresql.org
src/bin/pg_waldump/.gitignore