diff options
Diffstat (limited to 'src/tools/pginclude/pgrminclude')
| -rwxr-xr-x | src/tools/pginclude/pgrminclude | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude index 383c5044bd7..7cbd2e7c9ca 100755 --- a/src/tools/pginclude/pgrminclude +++ b/src/tools/pginclude/pgrminclude @@ -43,7 +43,7 @@ verbose_output() { process_includes_in_file() { # loop through all includes mentioned in the file - cat "$FILE" | + cat "$FILE" | grep "^#include\>" | grep -v '/\* *pgrminclude *ignore *\*/' | sed 's/^#include[ ]*[<"]\([^>"]*\).*$/\1/g' | @@ -80,7 +80,7 @@ compile_file() { grep -v "^#else" | grep -v "^#elif" | grep -v "^#endif" | - # with #if blocks gone, now undef #defines to avoid redefine + # with #if blocks gone, now undef #defines to avoid redefine # warning and failure sed 's/#define[ ][ ]*\([A-Za-z0-9_]*\).*$/#undef \1\n&/' >/tmp/$$a @@ -121,7 +121,7 @@ compile_file() { fi } -# Process include files first because they can affect the compilation +# Process include files first because they can affect the compilation # of *.c files. (find . \( -name .git -a -prune \) -o -type f -name '*.h' -print | sort; find . \( -name .git -a -prune \) -o -type f -name '*.c' -print | sort) | |