From d6fda1b0bb7ce35e5a7c8b6cfd36c491055bab7c Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Fri, 16 Nov 2007 01:25:15 +0000
Subject: [PATCH] Better guard token used by pgindent.
---
src/tools/pgindent/pgindent | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent
index 310b78c6bd3..6e9517ca477 100755
--- 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
--
GitLab