From c7465d2ecb69e64613dd38b262f5e78ecad99de1 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 6 Sep 2017 08:42:01 +0200
Subject: Add debug output to brew update.

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

diff --git a/.travis.yml b/.travis.yml
index a8c6eb0465..b9ea455da6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -144,7 +144,7 @@ matrix:
       - NATIVE_COMP="no"
       - COQ_DEST="-local"
       before_install:
-      - brew update
+      - brew update --debug --verbose
       - brew install opam gnu-time
 
     - os: osx
@@ -158,7 +158,7 @@ matrix:
       - EXTRA_CONF="-coqide opt -warn-error"
       - EXTRA_OPAM="lablgtk-extras"
       before_install:
-      - brew update
+      - brew update --debug --verbose
       - brew install opam gnu-time gtk+ expat gtksourceview libxml2 gdk-pixbuf python3
       - pip3 install macpack
       before_deploy:
-- 
cgit v1.2.3