summaryrefslogtreecommitdiff
path: root/src/tools
diff options
context:
space:
mode:
authorBruce Momjian1999-07-16 17:46:32 +0000
committerBruce Momjian1999-07-16 17:46:32 +0000
commit9679cb39103bfff38750edf8c6928c89054d66ff (patch)
tree1c126af97a34737c098a7c7f0115b73b231427b2 /src/tools
parent773088809df925442bb9df35352c11e3d106314a (diff)
More cleanup
Diffstat (limited to 'src/tools')
-rwxr-xr-xsrc/tools/pginclude/pgnoinclude6
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" ]