diagnostic: also don't check Jenkins core branch.

2017-08-26 14:50:55 +01:00 · 2017-08-26 14:50:55 +01:00 · db41f9d118
commit db41f9d118
parent cb5b14307c
1 changed files with 1 additions and 1 deletions
--- 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}