git.postgresql.org Git - postgresql.git/commitdiff

git projects / postgresql.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3297308)
tools/copyright.pl: skip copyright changes for *.key files
2020年1月14日 15:51:58 +0000 (10:51 -0500)
2020年1月14日 15:51:58 +0000 (10:51 -0500)
Reported-by: Alvaro Herrera
Discussion: https://postgr.es/m/20200102184059.GA25435@alvherre.pgsql

Backpatch-through: master


diff --git a/src/tools/copyright.pl b/src/tools/copyright.pl
index 188ac1fc7634c1bb57616644e4628b10c95d569a..bd9f89d6ab371675c504d78efb21ba2633d73c56 100755 (executable)
--- 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;
This is the main PostgreSQL git repository.
RSS Atom

AltStyle によって変換されたページ (->オリジナル) /