From f7b212b9075dc3cf323eeb05ab99788eb9094807 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 10 Jan 2018 19:37:49 -0500
Subject: Add travis_retry to work around bugs in travis

https://github.com/travis-ci/travis-ci/issues/8507
---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 637868fda..c0bfeb785 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -40,8 +40,8 @@ matrix:
 
 before_install:
   - if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi
-  - sudo apt-get update -q
-  - sudo apt-get install $COQ_PACKAGE -y
+  - travis_retry sudo apt-get update -q
+  - travis_retry sudo apt-get install $COQ_PACKAGE -y
 
 
 before_script:
-- 
cgit v1.2.3