From ab73290c35555890f52b43e86a32b0331ee81829 Mon Sep 17 00:00:00 2001
From: Sebastian Pipping <sebastian@pipping.org>
Date: Sun, 6 Oct 2019 21:48:51 +0200
Subject: [PATCH] coverage.sh: Re-use first xmlts.zip download

---
 expat/coverage.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/expat/coverage.sh b/expat/coverage.sh
index 23edc37c..a77d60c7 100755
--- a/expat/coverage.sh
+++ b/expat/coverage.sh
@@ -211,6 +211,11 @@ _main() {
         echo "[${build_dir}]"
         _copy_to "${build_dir}"
 
+        # Make sure we don't need to download xmlts.zip over and over again
+        if [[ ${#build_dirs[*]} -gt 0 ]]; then
+            ln -s "$PWD/${build_dirs[0]}/tests/xmlts.zip" "${build_dir}"/tests/
+        fi
+
         _run "${source_dir}" "${build_dir}"
 
         build_dirs+=( "${build_dir}" )
-- 
2.40.0