diff options
| -rwxr-xr-x | src/tools/pgindent/pgindent | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index c0ea6255a5f..dd7704649e1 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -1487,12 +1487,12 @@ do cat /tmp/$$a | sed 's;^/\*\(DATA(.*\)\*/$;\1;' | sed 's;^/\*\(CATALOG(.*\)\*/$;\1;' | - sed 's;^/\* Open extern \"C\" \*/$;extern "C"\ -{;' | - sed 's;^/\* Close extern \"C\" \*/$;};' | # remove tabs and retab with four spaces detab -t8 -qc | entab -t4 -qc | + sed 's;^/\* Open extern \"C\" \*/$;extern "C"\ +{;' | + sed 's;^/\* Close extern \"C\" \*/$;};' | sed 's;/\*---X_X;/* ---;g' | # workaround indent bug sed 's;^static[ ][ ]*;static ;g' | |