Better guard token used by pgindent.

diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent
index 310b78c6bd3107e9191a14c07197e4716c5cb003..6e9517ca477ffc1bff2cac318d0d683a2570c9d5 100755 (executable)
--- a/src/tools/pgindent/pgindent
+++ b/src/tools/pgindent/pgindent
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# $PostgreSQL: pgsql/src/tools/pgindent/pgindent,v 1.95 2007/11/16 01:11:04 momjian Exp $
+# $PostgreSQL: pgsql/src/tools/pgindent/pgindent,v 1.96 2007/11/16 01:25:15 momjian Exp $
 
 # Known bugs:
 #
@@ -46,10 +46,10 @@ do
 # 'else' followed by a single-line comment, followed by
 # a brace on the next line confuses BSD indent, so we push
 # the comment down to the next line, then later pull it
-# back up again.  Add space before PGMV or indent will add
+# back up again.  Add space before _PGMV or indent will add
 # it for us.
        sed 's;\([}     ]\)else[        ]*\(/\*\)\(.*\*/\)[     ]*$;\1else\
-    \2 PGMV\3;g' |
+    \2 _PGMV\3;g' |
 
 # Indent multi-line after-'else' comment so BSD indent will move it properly.
 # We already moved down single-line comments above.  Check for '*' to make
@@ -2244,10 +2244,10 @@ do
                {
                        if (NR != 1)
                        {
-                               if ($0 ~ "/\* PGMV")
+                               if ($0 ~ "/\* _PGMV")
                                {
                                        # remove tag
-                                       sub(" PGMV", "", $0);
+                                       sub(" _PGMV", "", $0);
                                        # remove leading whitespace
                                        sub("^[         ]*", "", $0);
                                        # add comment with single tab prefix