From cbee3b75fca9809ac18f92110f90af834f0fca49 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 10 Jul 2018 16:00:03 +0200
Subject: [travis] Try to workaround the repeated APT failures by using Jason
 Gross's suggestion.

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 42c41249d..726fa83a2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -253,7 +253,7 @@ before_install:
 
 install:
 - if [ "${TRAVIS_OS_NAME}" == "linux" ]; then travis_retry ./dev/tools/sudo-apt-get-update.sh -q; fi
-- if [ "${TRAVIS_OS_NAME}" == "linux" ]; then sudo apt-get install -y opam aspcud gcc-multilib; fi
+- if [ "${TRAVIS_OS_NAME}" == "linux" ]; then sudo apt-get install -y opam aspcud gcc-multilib --allow-unauthenticated; fi
 - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y
 - opam switch "$COMPILER" && opam update
 - eval $(opam config env)
-- 
cgit v1.2.3