| commit | 1b640fd0929a74af4982c3e8ac4f4def83e6b281 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Wed Jan 04 21:00:05 2023 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Thu Jan 05 04:02:02 2023 -0500 |
| tree | 333a8c43d886b98f1765c8fa92b59f63d83b5cb3 | |
| parent | fcef058206559c267e8f831e8cc17362c7ccfd46 [diff] [blame] |
docs: improve formatting and document structure Change-Id: I530d58f2700eb264855843021db32f568d373a1d
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index 9b1e073..c114f8d 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh
@@ -21,7 +21,7 @@ if [[ $ID == macos ]]; then if [[ -n $GITHUB_ACTIONS ]]; then - export HOMEBREW_NO_INSTALL_UPGRADE=1 + export HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK=1 fi brew update brew install --formula "${FORMULAE[@]}"