diff options
author | 2023-03-23 14:50:15 +0100 | |
---|---|---|
committer | 2023-03-23 14:57:59 +0100 | |
commit | 2e1d4978d457e681ae7e2584280a574cbf8ffce7 (patch) | |
tree | d7c9e81dc01ade3cdd6ba21711a14a640aeb553d /files/mirrors/Makefile | |
parent | mirrors: check XML formatting (diff) | |
download | api-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/Makefile | 2 |
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 |