diff options
Diffstat (limited to 'src/tools/pginclude/pgnoinclude')
| -rwxr-xr-x | src/tools/pginclude/pgnoinclude | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/tools/pginclude/pgnoinclude b/src/tools/pginclude/pgnoinclude index 73f4578e716..0b75eb58884 100755 --- a/src/tools/pginclude/pgnoinclude +++ b/src/tools/pginclude/pgnoinclude @@ -20,8 +20,10 @@ 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 + grep -B1 '^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]' "$FILE" | + egrep -q '^#if|^#else' && continue + grep -A1 '^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]' "$FILE" | + egrep -q '^#else|^#endif' && continue cat /tmp/$$a | grep -v '^#include[ ]*[<"]'"$INCLUDE"'[>"]' >/tmp/$$b if [ "$IS_INCLUDE" = "Y" ] |