summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/check-mirrors3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/check-mirrors b/bin/check-mirrors
index f1fb6fd..4859a63 100755
--- a/bin/check-mirrors
+++ b/bin/check-mirrors
@@ -136,7 +136,8 @@ for mirror in $mirrors
136do 136do
137 url="${mirror%/}/timestamp" 137 url="${mirror%/}/timestamp"
138 138
139 if curl -s -S -O -m 600 --ftp-method 'nocwd' "$url" >'curl.log' 2>&1 139 if curl -s -S -O -m 600 --retry 2 --ftp-method 'nocwd' "$url" \
140 >'curl.log' 2>&1
140 then 141 then
141 cmp -s 'expected' 'timestamp' \ 142 cmp -s 'expected' 'timestamp' \
142 || echo >&2 "$mirror is outdated ($(cat 'timestamp'))." 143 || echo >&2 "$mirror is outdated ($(cat 'timestamp'))."