diff options
| -rw-r--r-- | src/PGINDENT | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/PGINDENT b/src/PGINDENT index 417b5923d33..522845c10eb 100644 --- a/src/PGINDENT +++ b/src/PGINDENT @@ -15,10 +15,10 @@ fi for FILE do cat $FILE | - sed 's;/\* *---;/*---;g' | + sed 's;/\* *---;/*---X_X;g' | indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \ -lp -nip -nbc -psl -di1 -i4 -l75 -st | detab -t8 | entab -qc -t4 | - sed 's;/\*---;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE + sed 's;/\*---X_X;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE done |