summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian2006-07-11 19:45:16 +0000
committerBruce Momjian2006-07-11 19:45:16 +0000
commit684401afe6e9f0f52281e37b108093e37f6bc0d1 (patch)
tree5544bf1a1b84a3f414abaea3aef18533c6f54d2b
parentc1b51e0648348855e4e34ffb8ea0b2b9849f9b8c (diff)
Have pgrminclude process include files too.
-rwxr-xr-xsrc/tools/pginclude/pgrminclude6
1 files changed, 2 insertions, 4 deletions
diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude
index bdc42f1f05..17657317a8 100755
--- a/src/tools/pginclude/pgrminclude
+++ b/src/tools/pginclude/pgrminclude
@@ -60,10 +60,8 @@ do
-c /tmp/$$.c -o /tmp/$$.o >/tmp/$$ 2>&1
if [ "$?" -eq 0 ]
then echo "$FILE $INCLUDE"
- if [ "$IS_INCLUDE" = "N" ]
- then grep -v '^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]' "$FILE" >/tmp/$$b
- mv /tmp/$$b "$FILE"
- fi
+ grep -v '^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]' "$FILE" >/tmp/$$b
+ mv /tmp/$$b "$FILE"
fi
if [ "$1" = "-v" ]
then cat /tmp/$$