diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-05 09:45:54 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-05 09:45:54 +0200 |
| commit | e5dedb2e44f9de81d976fdd291b4dbfcf344433e (patch) | |
| tree | db9b05c86be0ea9be55c81cbcb006381be2613e9 /bin | |
| parent | 5a9926bc8331c45dc2e5040c9acafbabf5f93c1d (diff) | |
| download | builder-e5dedb2e44f9de81d976fdd291b4dbfcf344433e.tar.xz | |
bin/build-packages: add 15 sec timeout to wget
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-packages | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/build-packages b/bin/build-packages index 5a8ce88..4563298 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -324,7 +324,7 @@ while [ "${count}" -ne 0 ] && \ ta ' ) - if ! wget -nc -nd "https://sources.archlinux.org/sources/${git_repo}/${source_name}"; then + if ! wget -q --timeout=15 -nc -nd "https://sources.archlinux.org/sources/${git_repo}/${source_name}"; then # we can't improve anything continue fi @@ -439,7 +439,7 @@ while [ "${count}" -ne 0 ] && \ ' | \ while read -r url; do >&2 printf 'downloading "%s" ...' "${url}" - if wget -q -nd "${url}"; then + if wget -q --timeout=15 -nd "${url}"; then >&2 printf ' ok.\n' break; fi |