Add means to avoid downloading xmlts.zip in coverage tests
Modifies target tests/xmlts.zip so that if the environment variable
XMLTS_DIR is set, the xmlts.zip will be copied from there rather
than downloaded again from xml.org.  I currently need this
because I have a very limited internet connection.
@@ -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:
+ if test "$(XMLTS_ZIP)" = ""; then \
wget --output-document=tests/xmlts.zip \
- https://www.w3.org/XML/Test/xmlts20080827.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
