diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-06-30 13:39:12 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-30 13:39:12 +0200 |
commit | 35e0f327405fb659c7ec5f9f7d26ea284aa45810 (patch) | |
tree | f49b15b951e8f53ddc90fd4363865ed5e45987e4 | |
parent | 654a7b390f4062d9962e42d83537aa520fe82f2b (diff) | |
parent | 178004b174a4920118479b59900066b681326492 (diff) |
Merge PR#846: Fix OS X Travis by pinning OCaml version.
-rw-r--r-- | .travis.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index e7082a9ee..d2d779d8b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -139,8 +139,7 @@ matrix: - os: osx env: - TEST_TARGET="test-suite" - - COMPILER="system" - - CAMLP5_VER="6.17" + - COMPILER="4.02.3" - NATIVE_COMP="no" before_install: - brew update |