8000 Properly use $(AWK) in Makefile, not 'awk' · postgres/postgres@77c189c · GitHub
[go: up one dir, main page]
Skip to content

Commit 77c189c

Browse files
bmomjianbmomjian
committed
Properly use $(AWK) in Makefile, not 'awk'
Fix for commit 498f130. Backpatch-through: master
1 parent 962da90 commit 77c189c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎doc/src/sgml/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -158,7 +158,7 @@ XSLTPROC_FO_FLAGS += --stringparam img.src.path '$(srcdir)/'
158158
%.pdf: %.fo $(ALL_IMAGES)
159159
@# There is no easy way to pipe output and capture its return code, so output a special string on failure.
160160
{ LANG=C $(FOP) -fo $< -pdf $@ 2>&1; [ "$$?" -ne 0 ] && echo "FOP_ERROR"; } | \
161-
awk 'BEGIN { warn = 0 } ! /^FOP_ERROR$$/ { print } /not available in font/ { warn = 1 } \
161+
$(AWK) 'BEGIN { warn = 0 } ! /^FOP_ERROR$$/ { print } /not available in font/ { warn = 1 } \
162162
END { if (warn != 0) print("\nFound characters that cannot be output in the PDF document; see README.non-ASCII"); \
163163
if ($$0 ~ /^FOP_ERROR$$/) { exit 1} }' 1>&2
164164

0 commit comments

Comments
 (0)
0