diff options
author | Bruce Momjian | 2000-02-23 22:24:46 +0000 |
---|---|---|
committer | Bruce Momjian | 2000-02-23 22:24:46 +0000 |
commit | f40c50627f8df66b3a15a69cbe493ecbde78b8f2 (patch) | |
tree | 5602b378a78123b0c1cce9532b96dc48b5656dc7 /src/tools | |
parent | 9f74608f4756aa9735ebceee2f29b6ddc830cccc (diff) |
Fix plpsql for bsdi.
Diffstat (limited to 'src/tools')
-rwxr-xr-x | src/tools/copyright | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/copyright b/src/tools/copyright new file mode 100755 index 00000000000..cc64e4d8ee7 --- /dev/null +++ b/src/tools/copyright @@ -0,0 +1,5 @@ +rgrepc -l 'Copyright.*Regents' | while read FILE +do + pipe sed 's/^\(.*\)\(Copyright.*Regents.*\)$/ * Portions Copyright (c) 1996-1999, PostgreSQL, Inc\ +\1Portions \2/g' $FILE +done |