From b7d501fb22e6725da20c59b895e19d30b6b2ad50 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 22 Jul 2020 11:29:08 +0200
Subject: Ignore installation failure during call to brew.

Note that all the packages that we request are correctly installed and
the observed failure is independent (related to ruby which is not a
direct nor indirect dependency, only a dependency of brew itself).

The generated CoqIDE package has been tested and works correctly (with
no missing icon).
---
 azure-pipelines.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 305c6a627e..b27d1df39d 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -64,7 +64,8 @@ jobs:
       set -e
       brew update
       (cd $(brew --repository)/Library/Taps/homebrew/homebrew-core/ && git fetch --shallow-since=${HBCORE_DATE} && git checkout ${HBCORE_REF})
-      brew install gnu-time opam pkg-config gtksourceview3 adwaita-icon-theme
+      brew install gnu-time opam pkg-config gtksourceview3 adwaita-icon-theme || true
+      # || true: workaround #12657, see also #12672 and commit message for this line
       pip3 install macpack
     displayName: 'Install system dependencies'
     env:
-- 
cgit v1.2.3