diff options
| author | Mike McQuaid | 2016-11-26 16:32:48 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2016-11-26 16:32:48 +0000 |
| commit | e330047ff9881eee9cbad8828ed1ef2f16b3050e (patch) | |
| tree | dfc674af1bcddeca61232f3befa2a070e5755e5e /Library/Homebrew/diagnostic.rb | |
| parent | 78fdb470cbf09e78b302e8f1bfe929d356a02de0 (diff) | |
| download | brew-e330047ff9881eee9cbad8828ed1ef2f16b3050e.tar.bz2 | |
diagnostic: silence a Jenkins doctor warning.
Allow our Jenkins CI testing for Homebrew/brew to live outside of
`/usr/local` without complaint (as it's not using any binary packages
anyway).
Diffstat (limited to 'Library/Homebrew/diagnostic.rb')
| -rw-r--r-- | Library/Homebrew/diagnostic.rb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Library/Homebrew/diagnostic.rb b/Library/Homebrew/diagnostic.rb index 19148a6ae..e8506ce80 100644 --- a/Library/Homebrew/diagnostic.rb +++ b/Library/Homebrew/diagnostic.rb @@ -407,6 +407,12 @@ module Homebrew def check_homebrew_prefix return if HOMEBREW_PREFIX.to_s == "/usr/local" + # Allow our Jenkins CI tests to live outside of /usr/local. + if ENV["JENKINS_HOME"] && + ENV["GIT_URL"].to_s.start_with?("https://github.com/Homebrew/brew") + return + end + <<-EOS.undent Your Homebrew's prefix is not /usr/local. You can install Homebrew anywhere you want but some bottles (binary packages) |
