change gawk to awk ... creeped in from a previous patch..

diff --git a/src/backend/catalog/genbki.sh b/src/backend/catalog/genbki.sh
index 74d3e0f324e16516b9138fd4e28a25050467c714..3628ebcb73bfb952028412083c808838c3bed6ad 100644 (file)
--- 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.1 1996/08/19 13:46:26 scrappy Exp $
+#    $Header: /cvsroot/pgsql/src/backend/catalog/Attic/genbki.sh,v 1.1.1.1.2.2 1996/08/20 23:47:45 scrappy Exp $
 #
 # NOTES
 #    non-essential whitespace is removed from the generated file.
@@ -62,7 +62,7 @@ sed -e 's/\/\*.*\*\///g' \
     -e 's/\ NameData/\ name/g' \
     -e 's/(NameData/(name/g' \
     -e 's/(Oid/(oid/g' | \
-gawk '
+awk '
 # ----------------
 #      now use awk to process remaining .h file..
 #