Retry updating base image

If updating the base image fails, retry a few times.  If that doesn't
work, simply move on; the update usually fails because Debian is
updating its mirrors; it's not important that we be absolutely up to
date.

diff --git a/debian/util.sh b/debian/util.sh
index 7c33056a936d027dc4cd5fb9998bd781e15f2068..b270dbd2f8e03947e83797ff6d3e316ff32e68f3 100755 (executable)
--- a/debian/util.sh
+++ b/debian/util.sh
@@ -282,7 +282,10 @@ build_debs () {
       cow --create
     fi
     announce "Updating base $distro-$arch image..."
-    cow --update
+    local x=5
+    while ! cow --update; do
+      [ $x -lt 1 ] && break; sleep 60; x=$((x-1))
+    done
     announce "Building $distro-$arch DEBs from $dsc..."
     if $debug_hook; then
       mkdir -p .hooks