diff options
| author | Bruce Momjian | 2006-07-11 19:31:29 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2006-07-11 19:31:29 +0000 |
| commit | fb87b02360a726c5d1e045540668134e0d354fb5 (patch) | |
| tree | 32521c2914338071ddeca3897b185d873d7c2901 | |
| parent | c725e851b9f0fcf4a537173e1a619f95dc3c3819 (diff) | |
Move pgrminclude debug code to be more effective.
| -rwxr-xr-x | src/tools/pginclude/pgrminclude | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude index 9b26d12935..653301a1e7 100755 --- a/src/tools/pginclude/pgrminclude +++ b/src/tools/pginclude/pgrminclude @@ -64,10 +64,10 @@ do then grep -v '^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]' "$FILE" >/tmp/$$b mv /tmp/$$b "$FILE" fi - if [ "$1" = "-v" ] - then cat /tmp/$$ - cat /tmp/$$.c - fi + fi + if [ "$1" = "-v" ] + then cat /tmp/$$ + cat /tmp/$$.c fi done done |