Searched refs:download_file (Results 1 – 1 of 1) sorted by relevance
70 local -r package="$1" version="$2" download_file="$3"81 local -r package="$1" version="$2" download_file="$3"99 local -r package="$1" version="$2" download_file="$3" single_file="$4"137 local -r download_file_with_dir="${DOWNLOAD_DIR}/${download_file}"140 verify_stamp "$package" "$version" "$download_file" && return149 echo >&2 "*** VERIFICATION ERROR *** $download_file from $url"154 echo "Unpacking $download_file"166 update_stamp "$package" "$version" "$download_file"205 download_file="${package#tools/}.zip"212 download_file="${package}.zip"[all …]
Completed in 4 milliseconds