From 2adb6d703bd255f531fc8e33c9d6abd8d6236a0b Mon Sep 17 00:00:00 2001
From: "Marc G. Fournier" <scrappy@hub.org>
Date: Sat, 24 Aug 1996 20:38:56 +0000
Subject: [PATCH] Here's the fix for the problem that Evan Champion reported
 today.

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
---
 src/backend/catalog/genbki.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/backend/catalog/genbki.sh b/src/backend/catalog/genbki.sh
index c42beff980..8597d8ddb1 100644
--- a/src/backend/catalog/genbki.sh
+++ b/src/backend/catalog/genbki.sh
@@ -10,7 +10,7 @@
 #
 #
 # 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.
@@ -91,7 +91,7 @@ BEGIN {
 # by the sed above.
 # ----------------
 /^\/\*/           { comment_level += 1; next; }
-/^*\//            { comment_level -= 1; next; }
+/^\*\//           { comment_level -= 1; next; }
 comment_level > 0 { next; }
 
 /^[ 	]*$/      { next; }