mirror/postgresql
2
0
Fork 0
mirror of https://git.postgresql.org/git/postgresql.git synced 2024-12-27 08:39:28 +08:00
Code Issues Packages Projects Releases Wiki Activity

cleanup.

Browse Source
This commit is contained in:
Bruce Momjian 1997-09-05 17:04:22 +00:00
parent 4bce39fe94
commit fe97d58051
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/PGINDENT
View File

@ -18,7 +18,7 @@ do
sed 's;/\* *---;/*---X_X;g' |
detab -t4 -qc >/tmp/$$a
indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \
-lp -nip -nbc -psl -di1 -i4 -l75 /tmp/$$a >/tmp/$$ 2>&1
-lp -nip -nbc -psl -di1 -i4 -l75 -npro /tmp/$$a >/tmp/$$ 2>&1
if [ "$?" -ne 0 -o -s /tmp/$$ ]
then echo "$FILE"
cat /tmp/$$