mirror of
https://github.com/nginx/nginx.git
synced 2026-08-04 06:53:10 +00:00
Don't ignore xmllint errors.
This commit is contained in:
parent
b0067b6853
commit
40be916e1c
1 changed files with 1 additions and 1 deletions
|
|
@ -16,7 +16,7 @@ define XSLScript
|
|||
endef
|
||||
|
||||
define XSLT
|
||||
xmllint --noout --valid $2; \
|
||||
xmllint --noout --valid $2
|
||||
xsltproc -o $3 \
|
||||
$(shell echo $4 \\
|
||||
| sed -e "s/\([^= ]*\)=\([^= ]*\)/--param \1 \"'\2'\"/g") \
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue