diff options
| author | Marc G. Fournier <scrappy@hub.org> | 1996-08-24 20:38:13 +0000 |
|---|---|---|
| committer | Marc G. Fournier <scrappy@hub.org> | 1996-08-24 20:38:13 +0000 |
| commit | 83a0ad26235a807f26ce339e13dea94c8a3936f5 (patch) | |
| tree | a6bd1e8ffbd0844a50ab4b16debf7a04830f06ea | |
| parent | a2c39054081ea456a7c042633b8b21f91a910c39 (diff) | |
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.
Submitted by: bryanh@giraffe.netgate.net (Bryan Henderson)
| -rw-r--r-- | src/backend/catalog/genbki.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/backend/catalog/genbki.sh b/src/backend/catalog/genbki.sh index 79f22654812..0cb02b90a67 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.1.1.1.2.4 1996/08/22 06:27:25 mcguirk Exp $ +# $Header: /cvsroot/pgsql/src/backend/catalog/Attic/genbki.sh,v 1.1.1.1.2.5 1996/08/24 20:38:13 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; } |