| commit | 5926d8b84ef3e3671c8552efc7d52e7809635667 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 21 14:15:15 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 21 14:15:15 2024 -0400 |
| tree | 150adb0d4ae4cb7b48b539ee75357e2d0e529783 | |
| parent | 6a0f2d4fed0e088b85fd7194de8507092c81cba9 [diff] [blame] |
build: recommend Xcode 13 or later Change-Id: I463862ef11ad132e47e393007a449e942d293334
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index c278382..dc9eadb 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh
@@ -34,6 +34,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