File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -25,16 +25,16 @@ before_install:
25
25
# Add mono repo
26
26
- sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
27
27
- echo "deb http://download.mono-project.com/repo/ubuntu stable-trusty main" | sudo tee /etc/apt/sources.list.d/mono-official-stable.list
28
- - sudo apt-get -qq update
29
- - sudo apt-get install -y mono-devel
28
+ - travis_retry sudo apt-get -qq update
29
+ - travis_retry sudo apt-get install -y mono-devel
30
30
# Configure $PATH: Executables are installed to $HOME/bin
31
31
- export PATH="$HOME/bin:$PATH"
32
32
# Download the makefile to emacs-travis.mk
33
33
- wget 'https://raw.githubusercontent.com/flycheck/emacs-travis/master/emacs-travis.mk'
34
34
# Install Emacs (according to $EMACS_VERSION) and Cask
35
35
- make -f emacs-travis.mk install_emacs
36
36
- make -f emacs-travis.mk install_cask
37
- - sudo apt-get install -y fsharp mono-xbuild
37
+ - travis_retry sudo apt-get install -y fsharp mono-xbuild
38
38
39
39
script :
40
40
- make test-all
You can’t perform that action at this time.
0 commit comments