index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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) |
-rwxr-xr-x | bin/build-packages | 4 |
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 |