From d561e0c9cd55c7d68e751cde9e8d703844e5430d Mon Sep 17 00:00:00 2001
From: Vincent Bernat <vincent@bernat.ch>
Date: Sat, 27 Jun 2020 13:24:27 +0200
Subject: [PATCH] ci: use "brew bundle" instead of "brew install"

Otherwise, when a dependency is already installed and not up-to-date,
we get an error.
---
 tests/ci/install.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tests/ci/install.sh b/tests/ci/install.sh
index 51c693d0..a8ed1679 100755
--- a/tests/ci/install.sh
+++ b/tests/ci/install.sh
@@ -5,7 +5,11 @@ set -e
 case "$(uname -s)" in
     Darwin)
         brew update
-        brew install libtool libxml2 check
+        brew bundle --file=- <<-EOS
+brew "libtool"
+brew "libxml2"
+brew "check"
+EOS
         ;;
     Linux)
         sudo apt-get -qqy update
-- 
2.39.5