summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian1997-09-07 04:03:55 +0000
committerBruce Momjian1997-09-07 04:03:55 +0000
commitc51d81376f6a6b6a90463d41e434e126be2b74ad (patch)
tree6b30702bc0e8ca5f7b65a9c282a083a4591414d3
parentb3652d2ccaa3b214bba142bc64e526db598bf266 (diff)
Cleanup.
-rw-r--r--src/PGINDENT6
1 files changed, 1 insertions, 5 deletions
diff --git a/src/PGINDENT b/src/PGINDENT
index 51fa0078ea..3f4ca7966e 100644
--- a/src/PGINDENT
+++ b/src/PGINDENT
@@ -3,10 +3,6 @@
# This can format all PostgreSQL *.c and *.h files,
# excluding libpq++, *.y, and *.l files.
#
-#
-# This can format all PostgreSQL *.c and *.h files,
-# excluding libpq++, *.y, and *.l files.
-#
# On 09/06/1997, from the top directory, I ran:
#
# find . -name '*.[ch]' -type f -print | grep -v '++' | xargs -n100 PGINDENT
@@ -33,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 -l70 \
+ indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -nfc1 -di12 -i4 -l70 \
-lp -nip -npro /tmp/$$a >/tmp/$$ 2>&1
if [ "$?" -ne 0 -o -s /tmp/$$ ]
then echo "$FILE"