summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian1997-09-07 04:17:39 +0000
committerBruce Momjian1997-09-07 04:17:39 +0000
commit31afe7c069d77c3884379c6233a854c7d8875de5 (patch)
treeba1d20acbd09f6b6ec566746b7d0c1a86fe0f3c2
parentc51d81376f6a6b6a90463d41e434e126be2b74ad (diff)
Cleanup.
-rw-r--r--src/PGINDENT2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PGINDENT b/src/PGINDENT
index 3f4ca7966e..0abd1f59f0 100644
--- a/src/PGINDENT
+++ b/src/PGINDENT
@@ -29,7 +29,7 @@ do
\2;g' | # workaround for indent bug
detab -t4 -qc |
sed 's;^DATA(.*$;/*&*/;' >/tmp/$$a # protect backslashes in DATA()
- indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -nfc1 -di12 -i4 -l70 \
+ indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -nfc1 -di16 -i4 -l70 \
-lp -nip -npro /tmp/$$a >/tmp/$$ 2>&1
if [ "$?" -ne 0 -o -s /tmp/$$ ]
then echo "$FILE"