Better guard token used by pgindent.

diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent
index 236db78fb6beec92e60bb9d21375df6e827f851e..ab95fd880c200b22c5cb89a7d689b0072efc41e5 100755 (executable)
--- a/src/tools/pgindent/pgindent
+++ b/src/tools/pgindent/pgindent
@@ -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