diff options
Diffstat (limited to 'src/tools/pgindent/pgindent')
| -rwxr-xr-x | src/tools/pgindent/pgindent | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 8579cc05d2..faa192c94f 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -1454,11 +1454,11 @@ do cat /tmp/$$ fi cat /tmp/$$a | + sed 's;^/\*\(DATA(.*\)\*/$;\1;' | + sed 's;^/\*\(CATALOG(.*\)\*/$;\1;' | # remove tabs and retab with four spaces detab -t8 -qc | entab -t4 -qc | - sed 's;^/\*\(DATA(.*\)\*/$;\1;' | - sed 's;^/\*\(CATALOG(.*\)\*/$;\1;' | sed 's;/\*---X_X;/* ---;g' | # workaround indent bug sed 's;^static[ ][ ]*;static ;g' | |