From 9b79922a51d2e5eca0d2ce2ddab38f53bfc2c4b5 Mon Sep 17 00:00:00 2001
From: Travis Cross <tc@traviscross.com>
Date: Fri, 22 Jun 2012 23:16:37 +0000
Subject: [PATCH] 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.
---
 debian/util.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/debian/util.sh b/debian/util.sh
index 7c33056a93..b270dbd2f8 100755
--- 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