git.postgresql.org Git - postgresql.git/commitdiff

diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude

index afbbd7f4ccfe7434ff1264ee817b112f2c46df24..ba13c4a7a727e3c18adf3dd189827b0396d2994c 100755 (executable)

--- a/src/tools/pginclude/pgrminclude

+++ b/src/tools/pginclude/pgrminclude

# loop through all includes

cat "$FILE" | grep "^#include" |

+ grep -v '/\* *pgrminclude *ignore *\*/' |

sed 's/^#include[ ]*[<"]\([^>"]*\).*$/1円/g' |

while read INCLUDE

do