diff options
| author | Mike McQuaid | 2016-09-17 12:55:46 +0100 |
|---|---|---|
| committer | Mike McQuaid | 2016-09-17 12:55:46 +0100 |
| commit | b1903c1a4a2639bf9730f1035abfe6172c3b5957 (patch) | |
| tree | abdacfd2f1b8f023306248ccd6058c89eaeb97fd /Library/Homebrew/dev-cmd | |
| parent | 10f2bc2deabad58c4f6b80481ccc913faeb85510 (diff) | |
| download | brew-b1903c1a4a2639bf9730f1035abfe6172c3b5957.tar.bz2 | |
test-bot: generate coverage reports on Sierra.
We may have two Sierra nodes available which could speed up this
relatively slow operation.
Diffstat (limited to 'Library/Homebrew/dev-cmd')
| -rw-r--r-- | Library/Homebrew/dev-cmd/test-bot.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Library/Homebrew/dev-cmd/test-bot.rb b/Library/Homebrew/dev-cmd/test-bot.rb index 7f2235e3a..c8f34c24f 100644 --- a/Library/Homebrew/dev-cmd/test-bot.rb +++ b/Library/Homebrew/dev-cmd/test-bot.rb @@ -724,7 +724,7 @@ module Homebrew coverage_args = [] if ARGV.include?("--coverage") if ENV["JENKINS_HOME"] - if OS.mac? && MacOS.version == :el_capitan + if OS.mac? && MacOS.version == :sierra coverage_args << "--coverage" end else |