diff --git a/abuild.in b/abuild.in index 7668423..ed58d8a 100755 --- a/abuild.in +++ b/abuild.in @@ -149,12 +149,11 @@ md5check() { uri_fetch() { local uri="$1" - local d="${s##*/}" # $(basename $s) + local d="${uri##*/}" # $(basename $uri) local opts [ -n "$quiet" ] && opts="-q" [ -f "$SRCDEST/$d" ] && return 0 - # we need GNU wget for this case "$uri" in https://*) opts="--no-check-certificate";; @@ -178,6 +177,16 @@ is_remote() { return 1 } +# try download from file from mirror first +uri_fetch_mirror() { + local uri="$1" + local d="${uri##*/}" # $(basename $uri) + if [ -n "$DISTFILES_MIRROR" ]; then + uri_fetch "$DISTFILES_MIRROR"/$d && return 0 + fi + uri_fetch "$uri" +} + default_fetch() { local s mkdir -p "$srcdir"