diff options
| author | Bruce Momjian <bruce@momjian.us> | 1997-09-05 17:04:22 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 1997-09-05 17:04:22 +0000 |
| commit | fe97d58051758c7908101c5c15834e4e4101833f (patch) | |
| tree | 651e9c0f7d5c87513c0bf1185f27298e8fb45870 | |
| parent | 4bce39fe94f9be6c18e2e17c96b098fd32c7ce07 (diff) | |
| download | postgresql-fe97d58051758c7908101c5c15834e4e4101833f.tar.gz postgresql-fe97d58051758c7908101c5c15834e4e4101833f.zip | |
cleanup.
| -rw-r--r-- | src/PGINDENT | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PGINDENT b/src/PGINDENT index 8b98e51a67d..131ec83a87a 100644 --- a/src/PGINDENT +++ b/src/PGINDENT @@ -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/$$ |