diff options
| author | Bruce Momjian | 2007-11-16 01:11:04 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2007-11-16 01:11:04 +0000 |
| commit | 0c2c061eb0436e696c40832272167273b04d2b73 (patch) | |
| tree | 968531f8f407ece28ee531c87334c8c10b4fd1c7 /src/tools | |
| parent | eae7e00f1f8bcc7571d07086c742ab4a3194418b (diff) | |
Cleanup for new else/comment handling.
Diffstat (limited to 'src/tools')
| -rwxr-xr-x | src/tools/pgindent/pgindent | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 8f6473f9493..310b78c6bd3 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.94 2007/11/15 23:23:44 momjian Exp $ +# $PostgreSQL: pgsql/src/tools/pgindent/pgindent,v 1.95 2007/11/16 01:11:04 momjian Exp $ # Known bugs: # @@ -46,9 +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. +# back up again. Add space before PGMV or indent will add +# it for us. sed 's;\([} ]\)else[ ]*\(/\*\)\(.*\*/\)[ ]*$;\1else\ - \2PGINDENT_MOVED\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 @@ -2243,10 +2244,10 @@ do { if (NR != 1) { - if ($0 ~ "/\*PGINDENT_MOVED") + if ($0 ~ "/\* PGMV") { # remove tag - sub("PGINDENT_MOVED", "", $0); + sub(" PGMV", "", $0); # remove leading whitespace sub("^[ ]*", "", $0); # add comment with single tab prefix |
