diff --git a/src/tools/copyright.pl b/src/tools/copyright.pl index 08e5f5e39d46c873cc2589b93dd197f01f21d925..9c591e8fb1d4e5b88d33b5c5b66589bfa736bd37 100755 --- a/src/tools/copyright.pl +++ b/src/tools/copyright.pl @@ -2,7 +2,7 @@ ################################################################# # copyright.pl -- update copyright notices throughout the source tree, idempotently. # -# Copyright (c) 2011, PostgreSQL Global Development Group +# Copyright (c) 2011-2012, PostgreSQL Global Development Group # # src/tools/copyright.pl ################################################################# @@ -23,6 +23,13 @@ print "Using current year: $year\n"; find({wanted => \&wanted, no_chdir => 1}, '.'); sub wanted { + # prevent corruption of git indexes, ./.git + if ($File::Find::name =~ m{^\./\.git$}) + { + $File::Find::prune = 1; + return; + } + return if ! -f $File::Find::name || -l $File::Find::name; my @lines;