From 1c8917b10e7561d286bfce51bad3d2c76b3f2e00 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Tue, 3 Jul 2018 10:27:10 +0200
Subject: [PATCH] Remove old brew_install line

---
 scripts/dev/ci/travis_install.sh | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/scripts/dev/ci/travis_install.sh b/scripts/dev/ci/travis_install.sh
index 29711a11b..20dc2da8d 100644
--- a/scripts/dev/ci/travis_install.sh
+++ b/scripts/dev/ci/travis_install.sh
@@ -43,11 +43,6 @@ travis_retry() {
     return $result
 }
 
-brew_install() {
-    brew update
-    brew install "$@"
-}
-
 pip_install() {
     travis_retry python3 -m pip install "$@"
 }