diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pginclude/pgnoinclude | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/pginclude/pgnoinclude b/src/tools/pginclude/pgnoinclude index fbcee03e1d7..db39e9a1d9e 100755 --- a/src/tools/pginclude/pgnoinclude +++ b/src/tools/pginclude/pgnoinclude @@ -3,6 +3,7 @@ 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' | grep -v '\./config.h' | +grep -v '\./c.h' | while read FILE do if [ "`echo $FILE | sed -n 's/^.*\.\([^\.]*\)$/\1/p'`" = "h" ] @@ -22,6 +23,7 @@ do [ -s /usr/include/$INCLUDE ] && continue [ "$INCLUDE" = postgres.h ] && continue [ "$INCLUDE" = config.h ] && continue + [ "$INCLUDE" = c.h ] && continue # preserve configure-specific includes grep -B1 '^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]' "$FILE" | egrep -q '^#if|^#else' && continue |