From 587e556a909fcd2e1507a9230d9cdaffa3f9394e Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Tue, 5 Sep 2017 13:11:29 +0200
Subject: Switch Travis to OSX 10.12 and Xcode 8.3.3.

---
 .travis.yml | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 2d6d9a2a6..a8c6eb046 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -136,6 +136,7 @@ matrix:
           packages: *coqide-packages
 
     - os: osx
+      osx_image: xcode8.3
       env:
       - TEST_TARGET="test-suite"
       - COMPILER="4.02.3"
@@ -147,6 +148,7 @@ matrix:
       - brew install opam gnu-time
 
     - os: osx
+      osx_image: xcode8.3
       env:
       - TEST_TARGET=""
       - COMPILER="4.02.3"
-- 
cgit v1.2.3