From 6f9afc351b81a46ce9dc0f48c8a4c0af3de924e9 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Fri, 26 Aug 2011 10:08:39 -0400
Subject: [PATCH] In pgrminclude, add code to skip includes with a marker
 comment.

---
 src/tools/pginclude/pgrminclude | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude
index afbbd7f4cc..ba13c4a7a7 100755
--- 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