diff options
| author | Bruce Momjian | 2006-07-11 19:45:16 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2006-07-11 19:45:16 +0000 |
| commit | 684401afe6e9f0f52281e37b108093e37f6bc0d1 (patch) | |
| tree | 5544bf1a1b84a3f414abaea3aef18533c6f54d2b | |
| parent | c1b51e0648348855e4e34ffb8ea0b2b9849f9b8c (diff) | |
Have pgrminclude process include files too.
| -rwxr-xr-x | src/tools/pginclude/pgrminclude | 6 |
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/$$ |