Merge branch 'xmlts-local-cache' (pull request #67)

This commit is contained in:
Sebastian Pipping 2017-07-01 17:26:11 +02:00
commit 726cd8cdb8

View File

@ -181,8 +181,12 @@ run-benchmark: tests/benchmark/benchmark
tests/benchmark/benchmark@EXEEXT@ -n $(top_srcdir)/../testdata/largefiles/recset.xml 65535 3
tests/xmlts.zip:
wget --output-document=tests/xmlts.zip \
https://www.w3.org/XML/Test/xmlts20080827.zip
if test "$(XMLTS_ZIP)" = ""; then \
wget --output-document=tests/xmlts.zip \
https://www.w3.org/XML/Test/xmlts20080827.zip; \
else \
cp $(XMLTS_ZIP) tests/xmlts.zip; \
fi
tests/xmlconf: tests/xmlts.zip
cd tests && unzip -q xmlts.zip