diff options
| author | Bruce Momjian | 2020-01-14 15:51:58 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2020-01-14 15:51:58 +0000 |
| commit | 7316f11be03863858fa7acb5eee97ec35c91fca4 (patch) | |
| tree | fc08e8f6eee223379f2c2c4244b3a72a5d512d72 | |
| parent | 329730827848f61eb8d353d5addcbd885fa823da (diff) | |
tools/copyright.pl: skip copyright changes for *.key files
Reported-by: Alvaro Herrera
Discussion: https://postgr.es/m/[email protected]
Backpatch-through: master
| -rwxr-xr-x | src/tools/copyright.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/copyright.pl b/src/tools/copyright.pl index 188ac1fc763..bd9f89d6ab3 100755 --- a/src/tools/copyright.pl +++ b/src/tools/copyright.pl @@ -41,7 +41,7 @@ sub wanted # skip file names with binary extensions # How are these updated? bjm 2012-01-02 - return if ($_ =~ m/\.(ico|bin|po)$/); + return if ($_ =~ m/\.(ico|bin|po|key)$/); my @lines; tie @lines, "Tie::File", $File::Find::name; |