mirror of
https://github.com/brl/mutter.git
synced 2024-11-26 01:50:42 -05:00
mingw-fetch-dependencies.sh: Don't pass -c to wget
The -c option for wget and -C - option to curl are used to make it continue the download if the file already exists. The idea was that it wouldn't waste time downloading the files again if the file already exists. However this causes problems if the remote file gets larger because the download will continue from the size of the old file so it will get corrupt. Instead let's just explicitly check if the file already exists and avoid calling wget or curl altogether. Reviewed-by: Robert Bragg <robert@linux.intel.com>
This commit is contained in:
parent
ee00afd7ba
commit
c2721664aa
@ -33,12 +33,17 @@ function download_file ()
|
|||||||
local url="$1"; shift;
|
local url="$1"; shift;
|
||||||
local filename="$1"; shift;
|
local filename="$1"; shift;
|
||||||
|
|
||||||
|
if test -f "$DOWNLOAD_DIR/$filename"; then
|
||||||
|
echo "Skipping download of $filename because the file already exists";
|
||||||
|
return 0;
|
||||||
|
fi;
|
||||||
|
|
||||||
case "$DOWNLOAD_PROG" in
|
case "$DOWNLOAD_PROG" in
|
||||||
curl)
|
curl)
|
||||||
curl -C - -o "$DOWNLOAD_DIR/$filename" "$url";
|
curl -o "$DOWNLOAD_DIR/$filename" "$url";
|
||||||
;;
|
;;
|
||||||
*)
|
*)
|
||||||
$DOWNLOAD_PROG -O "$DOWNLOAD_DIR/$filename" -c "$url";
|
$DOWNLOAD_PROG -O "$DOWNLOAD_DIR/$filename" "$url";
|
||||||
;;
|
;;
|
||||||
esac;
|
esac;
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user