diff options
| author | Bruce Momjian | 1997-09-04 18:50:28 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1997-09-04 18:50:28 +0000 |
| commit | b45311e016ce95f2177bbe5e87f1f4564ec99219 (patch) | |
| tree | cf2a6ea65a601978052f3c3391bb3c54a80abf7d | |
| parent | b647a27cf50ce91f5038c1cd0a8ceab6b7e68e72 (diff) | |
More tab cleanup.
| -rw-r--r-- | src/PGINDENT | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/PGINDENT b/src/PGINDENT index 2ca0fcf0234..149c45862cb 100644 --- a/src/PGINDENT +++ b/src/PGINDENT @@ -16,11 +16,11 @@ for FILE do cat $FILE | sed 's;/\* *---;/*---X_X;g' | - detab -t4 | + detab -t4 -qc | 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 | + detab -t8 -qc | + entab -t4 -qc | sed 's;/\*---X_X;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE done |