projects / users / gsingh / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad385a4) | patch
Avoid re-writing files unnecessarily in src/tools/copyright.pl.
authorTom Lane <tgl@sss.pgh.pa.us>
Mon, 11 Apr 2022 15:20:13 +0000 (11:20 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Mon, 11 Apr 2022 15:20:20 +0000 (11:20 -0400)
commitdfd0f2bbc5776f261ef4c8ab128469ef9091dcfe
tree72fec2b24fbbfc1f91c27159ca0887c95747f672tree
parentad385a494f6ad863b38aa7c708f23aaf223438a7commit | diff
Avoid re-writing files unnecessarily in src/tools/copyright.pl.

The existing coding resulted in touching every copyright-containing
file in the tree, even if it was already up to date.  That doesn't
matter much for the annual run, but it's an annoyance if you try
to use the script for mop-up at the close of a devel cycle, as
I just did.

Discussion: https://postgr.es/m/266030.1649685473@sss.pgh.pa.us
src/tools/copyright.pl diff | blob | blame | history
Postgres clone for personal branches