mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-10-01 14:41:24 +02:00
Cleanups needed for indent.
This commit is contained in:
parent
ae50c8d84b
commit
40e5588115
@ -16,6 +16,8 @@ for FILE
|
|||||||
do
|
do
|
||||||
cat $FILE |
|
cat $FILE |
|
||||||
sed 's;/\* *---;/*---X_X;g' |
|
sed 's;/\* *---;/*---X_X;g' |
|
||||||
|
sed 's;[ ]else[ ]*\(/\*.*\)$;else\
|
||||||
|
\1;g' | # workaround for indent bug
|
||||||
detab -t4 -qc >/tmp/$$a
|
detab -t4 -qc >/tmp/$$a
|
||||||
indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \
|
indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \
|
||||||
-lp -nip -nbc -psl -di1 -i4 -l75 -npro /tmp/$$a >/tmp/$$ 2>&1
|
-lp -nip -nbc -psl -di1 -i4 -l75 -npro /tmp/$$a >/tmp/$$ 2>&1
|
||||||
|
Loading…
Reference in New Issue
Block a user