coverage.sh: Re-use first xmlts.zip download

This commit is contained in:
Sebastian Pipping 2019-10-06 21:48:51 +02:00
parent 6136acc8e0
commit ab73290c35

View file

@ -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}" )