diff options
Diffstat (limited to 'src/tools/pginclude/pgnoinclude')
| -rwxr-xr-x | src/tools/pginclude/pgnoinclude | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/tools/pginclude/pgnoinclude b/src/tools/pginclude/pgnoinclude index 0b75eb58884..fbcee03e1d7 100755 --- a/src/tools/pginclude/pgnoinclude +++ b/src/tools/pginclude/pgnoinclude @@ -1,6 +1,8 @@ : trap "rm -f /tmp/$$.c /tmp/$$.o /tmp/$$ /tmp/$$a /tmp/$$b" 0 1 2 3 15 -find . \( -name CVS -a -prune \) -o -type f -print | grep -v '\./postgres.h' | +find . \( -name CVS -a -prune \) -o -type f -print | +grep -v '\./postgres.h' | +grep -v '\./config.h' | while read FILE do if [ "`echo $FILE | sed -n 's/^.*\.\([^\.]*\)$/\1/p'`" = "h" ] @@ -19,6 +21,7 @@ do do [ -s /usr/include/$INCLUDE ] && continue [ "$INCLUDE" = postgres.h ] && continue + [ "$INCLUDE" = config.h ] && continue # preserve configure-specific includes grep -B1 '^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]' "$FILE" | egrep -q '^#if|^#else' && continue |