summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2020-07-03 22:54:44 +0200
committerCarl Hetherington <cth@carlh.net>2020-07-03 22:54:44 +0200
commit7e99a348e6741287d839cdeb2612637504ed3576 (patch)
tree01d78bab63690a2ec6c873c652f453c744f7c26a
parentdc9b744a5c7da5db0b77584f2d802347958790a0 (diff)
Add xmllint to the tools check.
-rwxr-xr-xrun/tests2
1 files changed, 1 insertions, 1 deletions
diff --git a/run/tests b/run/tests
index 48745f1d..f5dc7746 100755
--- a/run/tests
+++ b/run/tests
@@ -12,7 +12,7 @@ dcpinfo=build/tools/dcpinfo
export LD_LIBRARY_PATH=build/src:/home/c.hetherington/lib:$LD_LIBRARY_PATH
# Make sure we have the required tools
-for c in xmlsec1 xmldiff; do
+for c in xmlsec1 xmldiff xmllint; do
hash $c 2>/dev/null || { echo >&2 "$c required but not found; aborting"; exit 1; }
done