From 3231341eed8a88da258244224974ee720f76a19a Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Thu, 25 Oct 2001 19:22:05 +0000
Subject: Add slash for comment spacing, for Tom.

---
 src/tools/pgindent/pgindent | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent
index 41feb8b8799..d939c676bd8 100755
--- a/src/tools/pgindent/pgindent
+++ b/src/tools/pgindent/pgindent
@@ -1292,7 +1292,7 @@ int	pgindent_func_no_var_fix;\
 # pull in #endif comments
 	sed 's;^#endif[ 	][ 	]*/\*;#endif   /*;' |
 # add space after comments that start on tab stops
-	sed 's:\([;,)]\)/\*.*\*/\)$:\1	\2:' |
+	sed 's:\([;,)/]\)/\*.*\*/\)$:\1	\2:' |
 # work around #else indenting next line if #ifdef defines variables at top
 # work around misindenting of function with no variables defined
 	awk '
-- 
cgit v1.2.3