summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorian Schmaus <flow@gentoo.org>2023-03-23 14:50:15 +0100
committerFlorian Schmaus <flow@gentoo.org>2023-03-23 14:57:59 +0100
commit2e1d4978d457e681ae7e2584280a574cbf8ffce7 (patch)
treed7c9e81dc01ade3cdd6ba21711a14a640aeb553d /files/mirrors/Makefile
parentmirrors: check XML formatting (diff)
downloadapi-2e1d4978d457e681ae7e2584280a574cbf8ffce7.tar.gz
api-2e1d4978d457e681ae7e2584280a574cbf8ffce7.tar.bz2
api-2e1d4978d457e681ae7e2584280a574cbf8ffce7.zip
Use xmllint instead of xmlstarlet
Closes: https://github.com/gentoo/api-gentoo-org/pull/593 Signed-off-by: Florian Schmaus <flow@gentoo.org> Suggested-by: Robin H. Johnson <robbat2@gentoo.org>
Diffstat (limited to 'files/mirrors/Makefile')
-rw-r--r--files/mirrors/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/files/mirrors/Makefile b/files/mirrors/Makefile
index 3aebd33c..621742c6 100644
--- a/files/mirrors/Makefile
+++ b/files/mirrors/Makefile
@@ -1,5 +1,5 @@
.%.expected-format.xml: %.xml
- xmlstarlet fo --encode utf-8 $^ > $@
+ xmllint --format $^ > $@
.ONESHELL:
.%.expected-format.xml.ok: SHELL = /bin/bash