diff options
| author | Bruce Momjian <bruce@momjian.us> | 2007-11-16 01:25:15 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2007-11-16 01:25:15 +0000 |
| commit | d6fda1b0bb7ce35e5a7c8b6cfd36c491055bab7c (patch) | |
| tree | 97aa58bf20883c009865df9fe4970d09042eaa93 | |
| parent | 5f0bf6cb0d1f1922a7da68392e50d214b1c2abe3 (diff) | |
| download | postgresql-d6fda1b0bb7ce35e5a7c8b6cfd36c491055bab7c.tar.gz postgresql-d6fda1b0bb7ce35e5a7c8b6cfd36c491055bab7c.zip | |
Better guard token used by pgindent.
| -rwxr-xr-x | src/tools/pgindent/pgindent | 10 |
1 files 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 |