From 40e5588115abd31425d7ef30e2c0d431ab5f4455 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Fri, 5 Sep 1997 19:38:42 +0000
Subject: [PATCH] Cleanups needed for indent.

---
 src/PGINDENT | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/PGINDENT b/src/PGINDENT
index 131ec83a87a..06db6185a6b 100644
--- 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
-- 
GitLab