diff options
| author | Mike McQuaid | 2016-07-14 10:51:22 +0100 |
|---|---|---|
| committer | Mike McQuaid | 2016-07-14 10:51:22 +0100 |
| commit | 0e9054910478a9b8340808b74fcb2645195f5a2b (patch) | |
| tree | 9cf3f08526c41c09998450d26057e5bbb28fdc0c /Library/Homebrew/dev-cmd | |
| parent | 355fae78b19ec6f9de330e3b13401bfe370b8715 (diff) | |
| download | brew-0e9054910478a9b8340808b74fcb2645195f5a2b.tar.bz2 | |
test-bot: don't pull if unnecessary.
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 bb03a50e5..9bb7162f9 100644 --- a/Library/Homebrew/dev-cmd/test-bot.rb +++ b/Library/Homebrew/dev-cmd/test-bot.rb @@ -354,7 +354,7 @@ module Homebrew elsif @url # TODO: in future Travis CI may need to also use `brew pull` to e.g. push # the right commit to BrewTestBot. - unless travis_pr + if !travis_pr || ENV["ghprbActualCommit"].chomp != `git rev-parse HEAD` diff_start_sha1 = current_sha1 test "brew", "pull", "--clean", @url diff_end_sha1 = current_sha1 |
