diff options
| author | Mike McQuaid | 2016-07-15 13:14:52 +0100 |
|---|---|---|
| committer | Mike McQuaid | 2016-07-15 13:14:52 +0100 |
| commit | d34b93fa1c356f9dfe9a49e10c7aab0809997f1a (patch) | |
| tree | 40cd3d88bd747c1ac32a2d9731d056b30fed5944 | |
| parent | ec1da60941ec68fd4730519d0e44704aa55a3dce (diff) | |
| download | brew-d34b93fa1c356f9dfe9a49e10c7aab0809997f1a.tar.bz2 | |
test-bot: print out git commands on Jenkins.
| -rw-r--r-- | Library/Homebrew/dev-cmd/test-bot.rb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Library/Homebrew/dev-cmd/test-bot.rb b/Library/Homebrew/dev-cmd/test-bot.rb index 69fa1bd18..8781b1ec5 100644 --- a/Library/Homebrew/dev-cmd/test-bot.rb +++ b/Library/Homebrew/dev-cmd/test-bot.rb @@ -262,6 +262,7 @@ module Homebrew end def git(*args) + puts "#{@repository}: git #{args.join " "}" if ENV["JENKINS_HOME"] @repository.cd { Utils.popen_read("git", *args) } end |