diff --git a/plugins/python-build/bin/python-build b/plugins/python-build/bin/python-build index 5d095b53..19040ecf 100755 --- a/plugins/python-build/bin/python-build +++ b/plugins/python-build/bin/python-build @@ -417,8 +417,8 @@ fetch_tarball() { fi if ! reuse_existing_tarball "$package_filename" "$checksum"; then - local tarball_filename="$(basename "$package_url")" - echo "Downloading ${tarball_filename}..." >&2 + # Report the cached file name -- sometimes, it's useful to know (#1743) + echo "Downloading ${package_filename}..." >&2 http head "$mirror_url" && download_tarball "$mirror_url" "$package_filename" "$checksum" || download_tarball "$package_url" "$package_filename" "$checksum"