Merge pull request #11761 from iMichka/debian

brews.sh: change HOMEBREW_MINIMUM_CURL_VERSION only for debian 7
This commit is contained in:
Michka Popoff 2021-07-23 15:27:45 +02:00 committed by GitHub
commit 2689957a08
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -412,7 +412,7 @@ else
# This is set by the user environment.
# shellcheck disable=SC2154
if [[ -n "${HOMEBREW_FORCE_HOMEBREW_ON_LINUX}" && -n "${HOMEBREW_ON_DEBIAN7}" ]]
if [[ -n "${HOMEBREW_ON_DEBIAN7}" ]]
then
# Special version for our debian 7 docker container used to build patchelf and binutils
HOMEBREW_MINIMUM_CURL_VERSION="7.25.0"