diff options
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
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: |