diff options
| author | Bruce Momjian | 2013-05-29 20:58:43 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2013-05-29 20:58:43 +0000 |
| commit | 9af4159fce6654aa0e081b00d02bca40b978745c (patch) | |
| tree | 3aa507fc6cc67ed3d9f6ceec4d65d1e56cc08e1a /src/tools/copyright.pl | |
| parent | 07ab261ef3a9575a4a2bd3045b222d7b3dee2c46 (diff) | |
pgindent run for release 9.3
This is the first run of the Perl-based pgindent script. Also update
pgindent instructions.
Diffstat (limited to 'src/tools/copyright.pl')
| -rwxr-xr-x | src/tools/copyright.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/copyright.pl b/src/tools/copyright.pl index 126f6368d9d..f7e80fb00e5 100755 --- a/src/tools/copyright.pl +++ b/src/tools/copyright.pl @@ -26,6 +26,7 @@ find({ wanted => \&wanted, no_chdir => 1 }, '.'); sub wanted { + # prevent corruption of git indexes by ignoring any .git/ if (basename($_) eq '.git') { @@ -33,7 +34,7 @@ sub wanted return; } - return if ! -f $File::Find::name || -l $File::Find::name; + return if !-f $File::Find::name || -l $File::Find::name; # skip file names with binary extensions # How are these updated? bjm 2012-01-02 |