Merge pull request #8247 from MikeMcQuaid/brew-ci

bin/brew: only export CI if not set.
This commit is contained in:
Mike McQuaid 2020-08-07 13:08:42 +01:00 committed by GitHub
commit c3eada09d3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -79,9 +79,9 @@ then
export HOMEBREW_EDITOR="$VISUAL"
fi
# Set CI variable for GitHub Actions, Azure Pipelines, Jenkins
# Set CI variable for Azure Pipelines and Jenkins
# (Set by default on Circle and Travis CI)
if [[ -n "$GITHUB_ACTIONS" || -n "$TF_BUILD" || -n "$JENKINS_HOME" ]]
if [[ -z "$CI" ]] && [[ -n "$TF_BUILD" || -n "$JENKINS_HOME" ]]
then
export CI="1"
fi