diff options
author | nulltoken <emeric.fermas@gmail.com> | 2015-04-28 22:48:16 +0300 |
---|---|---|
committer | nulltoken <emeric.fermas@gmail.com> | 2015-04-28 22:48:16 +0300 |
commit | 7f0cc1e3d4eb99999991de06831c5b7d0a25cf03 (patch) | |
tree | 14a7e7569eb01dc2f3b0d5572bffd5a2bc9802cc | |
parent | 16aaf6c2b9fe1f6c652e960f1411d7b5e1338bad (diff) | |
parent | 57ef740067c35b12aa7274a0694fae2e6e44a6cd (diff) |
Merge pull request #1036 from libgit2/ntk/linux_mono_3.12
Pin Linux CI builds to Mono 3.12.0
-rwxr-xr-x | CI/travis.linux.install.deps.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CI/travis.linux.install.deps.sh b/CI/travis.linux.install.deps.sh index 271c3909..365fc51a 100755 --- a/CI/travis.linux.install.deps.sh +++ b/CI/travis.linux.install.deps.sh @@ -3,7 +3,7 @@ set -ev sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF -echo "deb http://download.mono-project.com/repo/debian wheezy main" | sudo tee /etc/apt/sources.list.d/mono-xamarin.list +echo "deb http://download.mono-project.com/repo/debian wheezy/snapshots/3.12.0 main" | sudo tee /etc/apt/sources.list.d/mono-xamarin.list echo "deb http://download.mono-project.com/repo/debian wheezy-libtiff-compat main" | sudo tee -a /etc/apt/sources.list.d/mono-xamarin.list sudo apt-get update |