This presumably corrects a problem of initdb failing on systems that have
an awk that is sensitive to this.
--
Bryan Henderson Phone 408-227-6803
San Jose, California
#
#
# IDENTIFICATION
-# $Header: /cvsroot/pgsql/src/backend/catalog/Attic/genbki.sh,v 1.3 1996/08/21 04:25:44 scrappy Exp $
+# $Header: /cvsroot/pgsql/src/backend/catalog/Attic/genbki.sh,v 1.4 1996/08/24 20:38:56 scrappy Exp $
#
# NOTES
# non-essential whitespace is removed from the generated file.
# by the sed above.
# ----------------
/^\/\*/ { comment_level += 1; next; }
-/^*\// { comment_level -= 1; next; }
+/^\*\// { comment_level -= 1; next; }
comment_level > 0 { next; }
/^[ ]*$/ { next; }