diff options
| author | Théo Zimmermann | 2020-07-22 11:29:08 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-07-23 11:28:24 +0200 |
| commit | b7d501fb22e6725da20c59b895e19d30b6b2ad50 (patch) | |
| tree | 4653b6ec1754e3d6710c9953116a28560854ef88 | |
| parent | 56fd98a932f2700a63fe701bb71533fb48d6d06b (diff) | |
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).
| -rw-r--r-- | azure-pipelines.yml | 3 |
1 files changed, 2 insertions, 1 deletions
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: |