diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-12-14 20:55:13 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-12-15 10:05:39 +0100 |
commit | 4ac4ff8b7f01f90a0c6a1703ce125cd1369eea4e (patch) | |
tree | a7745a293fad2740976a741cd304c0ed0a52715b /.travis.yml | |
parent | b270ad686075e5579dc3826fafdc324ea339785c (diff) |
Compatibility of the Coq macOS package with OS X 10.11.
Travis has moved on to macOS 10.12 but this makes the package
incompatible with earlier versions.
This fix should restore the compatibility with OS X 10.11.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 83a4e7fdd..54e7754f2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -183,6 +183,7 @@ matrix: - if: NOT (type = pull_request) os: osx + osx_image: xcode7.3 env: - TEST_TARGET="" - COMPILER="4.02.3" |