diff options
Diffstat (limited to 'src/tools/pginclude/pgnoinclude')
| -rwxr-xr-x | src/tools/pginclude/pgnoinclude | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/pginclude/pgnoinclude b/src/tools/pginclude/pgnoinclude index 35f191fa6a2..73f4578e716 100755 --- a/src/tools/pginclude/pgnoinclude +++ b/src/tools/pginclude/pgnoinclude @@ -19,6 +19,9 @@ do do [ -s /usr/include/$INCLUDE ] && continue [ "$INCLUDE" = postgres.h ] && continue + # preserve configure-specific includes + grep -B1 -A1 -q '^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]' | + egrep -q '^#if|^#else|^#endif' && continue cat /tmp/$$a | grep -v '^#include[ ]*[<"]'"$INCLUDE"'[>"]' >/tmp/$$b if [ "$IS_INCLUDE" = "Y" ] |