From 8977a8c530c44e6d3dc15878581aacaca5ff30d1 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Fri, 20 Oct 2017 18:23:02 +0200
Subject: Revert "Add debug output to brew update."

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

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 196f4b22a..4b9a3e030 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -143,7 +143,7 @@ matrix:
       - NATIVE_COMP="no"
       - COQ_DEST="-local"
       before_install:
-      - brew update --debug --verbose
+      - brew update
       - brew install opam gnu-time
 
     - if: NOT (type = pull_request)
@@ -157,7 +157,7 @@ matrix:
       - EXTRA_CONF="-coqide opt -warn-error"
       - EXTRA_OPAM="lablgtk-extras"
       before_install:
-      - brew update --debug --verbose
+      - brew update
       - brew install opam gnu-time gtk+ expat gtksourceview libxml2 gdk-pixbuf python3
       - pip3 install macpack
       before_deploy:
-- 
cgit v1.2.3