From 7f5aa05f225c41d2eebfb19bdd162eb25ffd1b7c Mon Sep 17 00:00:00 2001
From: Andrew Murray <radarhere@users.noreply.github.com>
Date: Mon, 6 Apr 2020 22:23:41 +1000
Subject: [PATCH] Retry on apt-get update problems

---
 .ci/install.sh | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/.ci/install.sh b/.ci/install.sh
index 180fa6582..3a8221659 100755
--- a/.ci/install.sh
+++ b/.ci/install.sh
@@ -1,8 +1,22 @@
 #!/bin/bash
 
+aptget_update()
+{
+    if [ ! -z $1 ]; then
+        echo ""
+        echo "Retrying apt-get update..."
+        echo ""
+    fi
+    output=`sudo apt-get update 2>&1`
+    echo "$output"
+    if [[ $output == *[WE]:\ * ]]; then
+        return 1
+    fi
+}
+aptget_update || aptget_update retry || aptget_update retry
+
 set -e
 
-sudo apt-get update
 sudo apt-get -qq install libfreetype6-dev liblcms2-dev python3-tk\
                          ghostscript libffi-dev libjpeg-turbo-progs libopenjp2-7-dev\
                          cmake imagemagick libharfbuzz-dev libfribidi-dev