diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index c0ea6255a5f8ac762d27f4eb69e0220aa2b1e07e..dd7704649e16a7627a13d5ce56ae38e6fd3fb7a0 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' |