summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-05 09:45:54 +0200
committerErich Eckner <git@eckner.net>2018-06-05 09:45:54 +0200
commite5dedb2e44f9de81d976fdd291b4dbfcf344433e (patch)
treedb9b05c86be0ea9be55c81cbcb006381be2613e9
parent5a9926bc8331c45dc2e5040c9acafbabf5f93c1d (diff)
downloadbuilder-e5dedb2e44f9de81d976fdd291b4dbfcf344433e.tar.xz
bin/build-packages: add 15 sec timeout to wget
-rwxr-xr-xbin/build-packages4
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