diff options
| author | Bruce Momjian | 1999-07-16 17:07:40 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1999-07-16 17:07:40 +0000 |
| commit | 773088809df925442bb9df35352c11e3d106314a (patch) | |
| tree | ab0e98368b26dc6a2853cbe498c8660855213ab2 /src/tools | |
| parent | 4d5aa343de8564b48364bb5f8efa671b12ae0446 (diff) | |
More cleanup
Diffstat (limited to 'src/tools')
| -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" ] |