Cleanup.

29 years ago · ce5ea7f381
parent dfc2d35943
commit ce5ea7f381
1 changed files with 1 additions and 1 deletions
--- 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/$$