From e5dedb2e44f9de81d976fdd291b4dbfcf344433e Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 5 Jun 2018 09:45:54 +0200
Subject: bin/build-packages: add 15 sec timeout to wget

---
 bin/build-packages | 4 ++--
 1 file 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
-- 
cgit v1.2.3