diff options
| -rwxr-xr-x | src/tools/copyright | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/copyright b/src/tools/copyright index 393d9dfd9f7..b0318c77577 100755 --- a/src/tools/copyright +++ b/src/tools/copyright @@ -1,4 +1,4 @@ -rgrepc -l 'Copyright.*PostgreSQL Global Development Group' | while read FILE +rgrep -l 'Copyright.*PostgreSQL Global Development Group' | while read FILE do pipe sed 's/^\(.*Copyright (c) [12][0-9][0-9][0-9]-\)[12][0-9][0-9][0-9]\(, PostgreSQL Global Development Group.*\)$/\12005\2/' $FILE done |