From 893606ddd20eb362cc9e922f471d742b72b0f789 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 29 Jan 2018 22:40:48 -0500
Subject: Work around travis bugs

https://github.com/travis-ci/travis-ci/issues/8507

We use a script and travis_retry to work around "failed to fetch" with
launchpad
---
 etc/ci/sudo-apt-get-update.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 etc/ci/sudo-apt-get-update.sh

(limited to 'etc')

diff --git a/etc/ci/sudo-apt-get-update.sh b/etc/ci/sudo-apt-get-update.sh
new file mode 100755
index 000000000..f8bf6bed4
--- /dev/null
+++ b/etc/ci/sudo-apt-get-update.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+
+(sudo apt-get update "$@" 2>&1 || echo 'E: update failed') | tee /tmp/apt.err
+! grep -q '^\(E:\|W: Failed to fetch\)' /tmp/apt.err || exit $?
-- 
cgit v1.2.3