mirror of
https://github.com/postgres/postgres.git
synced 2026-06-08 16:26:30 -04:00
In pgrminclude, add code to skip includes with a marker comment.
This commit is contained in:
parent
4399e81749
commit
6f9afc351b
1 changed files with 1 additions and 0 deletions
|
|
@ -22,6 +22,7 @@ do
|
|||
|
||||
# loop through all includes
|
||||
cat "$FILE" | grep "^#include" |
|
||||
grep -v '/\* *pgrminclude *ignore *\*/' |
|
||||
sed 's/^#include[ ]*[<"]\([^>"]*\).*$/\1/g' |
|
||||
while read INCLUDE
|
||||
do
|
||||
|
|
|
|||
Loading…
Reference in a new issue