1
0
mirror of https://github.com/postgres/postgres.git synced 2025-11-13 16:22:44 +03:00

Cleanup needed for indent.

This commit is contained in:
Bruce Momjian
1997-09-06 00:22:44 +00:00
parent ec05063be0
commit 268b8be814
2 changed files with 11 additions and 11 deletions

View File

@@ -10,7 +10,7 @@
#
#
# IDENTIFICATION
# $Header: /cvsroot/pgsql/src/backend/catalog/Attic/genbki.sh,v 1.6 1996/09/25 19:24:58 momjian Exp $
# $Header: /cvsroot/pgsql/src/backend/catalog/Attic/genbki.sh,v 1.7 1997/09/06 00:22:36 momjian Exp $
#
# NOTES
# non-essential whitespace is removed from the generated file.
@@ -59,8 +59,8 @@ cat $SYSFILES | \
sed -e 's/\/\*.*\*\///g' \
-e 's/;[ ]*$//g' \
-e 's/^[ ]*//' \
-e 's/\ Oid/\ oid/g' \
-e 's/\ NameData/\ name/g' \
-e 's/\[ ]Oid/\ oid/g' \
-e 's/\[ ]NameData/\ name/g' \
-e 's/^Oid/oid/g' \
-e 's/^NameData/\name/g' \
-e 's/(NameData/(name/g' \