diff options
| author | Bruce Momjian <bruce@momjian.us> | 1997-09-05 04:29:56 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 1997-09-05 04:29:56 +0000 |
| commit | ce5ea7f381219ddcc36224494c9cd258cfe609b6 (patch) | |
| tree | b36c32b9b878810ad0ee3067255bc210a483743e /src | |
| parent | dfc2d35943c5b837bc8956712e80534f8103be4e (diff) | |
| download | postgresql-ce5ea7f381219ddcc36224494c9cd258cfe609b6.tar.gz postgresql-ce5ea7f381219ddcc36224494c9cd258cfe609b6.zip | |
Cleanup.
Diffstat (limited to 'src')
| -rw-r--r-- | src/PGINDENT | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PGINDENT b/src/PGINDENT index b8d33ed4e0c..8b98e51a67d 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/$$ 2>&1 + -lp -nip -nbc -psl -di1 -i4 -l75 /tmp/$$a >/tmp/$$ 2>&1 if [ "$?" -ne 0 -o -s /tmp/$$ ] then echo "$FILE" cat /tmp/$$ |