diff options
| author | Bruce Momjian | 1997-08-29 21:41:33 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1997-08-29 21:41:33 +0000 |
| commit | 65191fabfd495b53f49815a7c70443030655008d (patch) | |
| tree | 1d4374ff2f51240eb4822de2fa6f494add3d2a72 | |
| parent | 0aea0f206363f2a8a5284c1173bc2db30804598f (diff) | |
indent flag change.
| -rw-r--r-- | src/PGINDENT | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/PGINDENT b/src/PGINDENT index 2b0b72799a6..417b5923d33 100644 --- a/src/PGINDENT +++ b/src/PGINDENT @@ -16,8 +16,8 @@ for FILE do cat $FILE | sed 's;/\* *---;/*---;g' | - indent -bad -bap -bbb -bc -bl -d0 -ncdb -nce -cli1 -di16 -nfc1 \ - -lp -nip -nbc -psl -di1 -i4 -st | + 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 |