diff options
| author | Mike McQuaid | 2017-08-26 14:50:55 +0100 |
|---|---|---|
| committer | Mike McQuaid | 2017-08-26 14:50:55 +0100 |
| commit | db41f9d1182ff8c4c3b42b458e38d5c58b496ffb (patch) | |
| tree | 7cc8b64c35ee500990034b52dd0940718b80a93b /Library/Homebrew | |
| parent | cb5b14307ca4640e1ba68cfd28e7fef34a3b771b (diff) | |
| download | brew-db41f9d1182ff8c4c3b42b458e38d5c58b496ffb.tar.bz2 | |
diagnostic: also don't check Jenkins core branch.
Diffstat (limited to 'Library/Homebrew')
| -rw-r--r-- | Library/Homebrew/diagnostic.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Library/Homebrew/diagnostic.rb b/Library/Homebrew/diagnostic.rb index 3d3c5e5dc..ef9f06569 100644 --- a/Library/Homebrew/diagnostic.rb +++ b/Library/Homebrew/diagnostic.rb @@ -786,7 +786,7 @@ module Homebrew EOS end - return if ENV["CI"] + return if ENV["CI"] || ENV["JENKINS_HOME"] head = coretap_path.git_head return if head.nil? || head =~ %r{refs/heads/master} |