mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-05-22 23:30:09 +08:00
sync: dump git output on errors
Bug: https://crbug.com/gerrit/14700 Change-Id: I1ae53dc7f3792b7e8f11d73f706864fb6591eee8 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/311142 Reviewed-by: Raman Tenneti <rtenneti@google.com> Tested-by: Mike Frysinger <vapier@google.com>
This commit is contained in:
parent
0cb6e92ac5
commit
5892973212
@ -360,7 +360,7 @@ later is required to fix a server side protocol bug.
|
|||||||
partial_clone_exclude=self.manifest.PartialCloneExclude)
|
partial_clone_exclude=self.manifest.PartialCloneExclude)
|
||||||
|
|
||||||
output = buf.getvalue()
|
output = buf.getvalue()
|
||||||
if opt.verbose and output:
|
if (opt.verbose or not success) and output:
|
||||||
print('\n' + output.rstrip())
|
print('\n' + output.rstrip())
|
||||||
|
|
||||||
if not success:
|
if not success:
|
||||||
|
Loading…
Reference in New Issue
Block a user