| commit | fb0d7cd94f94f4f0c821452796a5f5e41d941e4b | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 21 14:06:02 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 21 14:06:02 2024 -0400 |
| tree | d4b82a5bef00a5f5e4a2c71980bc8b30d4d9ae7c | |
| parent | 44b0f8c4c3c7c9d766a7c92c30d646bf1eaf6e94 [diff] [blame] |
build: recommend Xcode 13 or later Change-Id: I8d3d48baa8bff7b2f36cb9371d5deb62c4a079db
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index 0128e26..b0e54a0 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh
@@ -35,6 +35,7 @@ set -x if [[ $ID == macos ]]; then + export HOMEBREW_NO_ENV_HINTS=1 if [[ -n $GITHUB_ACTIONS ]]; then export HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK=1 fi