In pgrminclude, add code to skip includes with a marker comment.

bmomjian · bmomjian · commit 6f9afc351b81 · 2011-08-26T10:08:39.000-04:00
diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude
@@ -22,6 +22,7 @@ do
 
 	# loop through all includes
 	cat "$FILE" | grep "^#include" |
+	grep -v '/\* *pgrminclude  *ignore *\*/' |
 	sed 's/^#include[ 	]*[<"]\([^>"]*\).*$/\1/g' |
 	while read INCLUDE
 	do
