Cleanups needed for indent.

diff --git a/src/PGINDENT b/src/PGINDENT
index 131ec83a87acf083b99c00508920185ecae41a32..06db6185a6b6321edaf61e776505677c850976e0 100644 (file)
--- a/src/PGINDENT
+++ b/src/PGINDENT
@@ -16,6 +16,8 @@ for FILE
 do
    cat $FILE |
    sed 's;/\*  *---;/*---X_X;g' |
+   sed 's;[    ]else[  ]*\(/\*.*\)$;else\
+\1;g' | # workaround for indent bug
    detab -t4 -qc >/tmp/$$a
    indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \
        -lp -nip -nbc -psl -di1 -i4 -l75 -npro /tmp/$$a >/tmp/$$ 2>&1