Commit 484fc2da authored by Mikhail Glushenkov's avatar Mikhail Glushenkov
Browse files

.travis.yml: use travis-retry to work around connectivity issues.

See http://blog.travis-ci.com/2013-05-20-network-timeouts-build-retries/
. Thanks to Mateusz Kowalczyk for the tip.
parent ad81442d
......@@ -10,9 +10,9 @@ env:
# Note: the distinction between `before_install` and `install` is not important.
before_install:
- sudo add-apt-repository -y ppa:hvr/ghc
- sudo apt-get update
- sudo apt-get install cabal-install-1.18 ghc-$GHCVER-prof ghc-$GHCVER-dyn happy
- travis_retry sudo add-apt-repository -y ppa:hvr/ghc
- travis_retry sudo apt-get update
- travis_retry sudo apt-get install cabal-install-1.18 ghc-$GHCVER-prof ghc-$GHCVER-dyn happy
- export PATH=/opt/ghc/$GHCVER/bin:$PATH
install:
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment