Lines Matching refs:url
94 # DownloadFileIfNotCached <url> <filename> <destination dir>
95 local url=$1
101 echo "Downloading $url ..."
102 wget -nv -O $dir/$file $url
106 local error="Failed to download $url."
153 local url="${baseURL}/intel/${file}"
156 DownloadFileIfNotCached $url $file $dir
174 local url="${baseURL}/intel/${file}"
177 DownloadFileIfNotCached $url $file $dir
223 local url="${baseURL}/marvell/${file}"
225 DownloadFileIfNotCached $url $file "$dir"
250 local url="${baseURL}/b43/${file}"
251 DownloadFileIfNotCached $url $file $dir