aboutsummaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2018-01-29 22:40:48 -0500
committerGravatar Jason Gross <jgross@mit.edu>2018-01-29 22:40:48 -0500
commit893606ddd20eb362cc9e922f471d742b72b0f789 (patch)
treeb3d6d9245bc92b23a4a4892f357b5affe4505d19 /etc
parentf1bd744380e8a5d72db5659329b0d176bb151522 (diff)
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
Diffstat (limited to 'etc')
-rwxr-xr-xetc/ci/sudo-apt-get-update.sh4
1 files changed, 4 insertions, 0 deletions
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 $?