diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2017-05-23 08:41:34 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2017-05-23 14:23:53 +0000 |
commit | b707e5049c25d6361f6c6ac426df28c28758e3bc (patch) | |
tree | 83aef6c560f158dc5ce8d47c132d19b47845b392 | |
parent | 30139e8b047118dc0a17904f347695408b025f01 (diff) |
jenkins-helpers.sh: Handle extra options to wget_wildcard_url
... like "--no-check-certificate" when downloading from dev-01.tcwglab
or "--directory-prefix=. --continue", when want to update files.
Change-Id: Ie8a1e8e9522b09d25a7b77a21f1da8e7e7b602a9
-rw-r--r-- | jenkins-helpers.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 148f92f8..4247f058 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -166,9 +166,11 @@ clone_or_update_repo () # part of URL is allowed to contain wildcards. Safe to use on normal URLs. # Return N-1 of files downloaded, or 127 if no files were downloaded. # $1 -- URL +# $2,... -- additional parameters to wget wget_wildcard_url () { local url="$1" + shift local url_basename url_basename="$(basename "$url")" @@ -176,7 +178,7 @@ wget_wildcard_url () local tmpdir tmpdir="$(mktemp -d)" - wget --progress=dot:giga -r --no-parent --no-directories --continue --level 1 "--directory-prefix=$tmpdir" -A "$url_basename" "$(dirname "$url")/" + wget --progress=dot:giga -r --no-parent --no-directories --level 1 "--directory-prefix=$tmpdir" -A "$url_basename" "$@" "$(dirname "$url")/" local count=-1 for i in "$tmpdir"/$url_basename; do |