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

diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude
index afbbd7f4ccfe7434ff1264ee817b112f2c46df24..ba13c4a7a727e3c18adf3dd189827b0396d2994c 100755 (executable)
--- 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