| Index: git_tools.py
|
| diff --git a/git_tools.py b/git_tools.py
|
| index 5f52f9e593dc68ebadd6c988c056582c45e69af5..6cfba8c26d79ab4a29549241fc55c0c9d9dd6c44 100755
|
| --- a/git_tools.py
|
| +++ b/git_tools.py
|
| @@ -149,14 +149,15 @@ def Clone(git_url, git_repo, is_mirror, out_buffer=None):
|
| return Git(None, cmd, is_mirror=is_mirror, out_buffer=out_buffer)
|
|
|
|
|
| -def PopulateCache(git_url, shallow=False):
|
| +def PopulateCache(git_url, shallow=False, print_fn=None):
|
| # --shallow by default checks out 10000 revision, but for really large
|
| # repos like adobe ones, we want significantly less than 10000.
|
| depth = None
|
| if shallow and 'adobe' in git_url:
|
| depth = 10
|
| - mirror = git_cache.Mirror(git_url, print_func=lambda *args: None)
|
| - mirror.populate(depth=depth, shallow=shallow, ignore_lock=True)
|
| + mirror = git_cache.Mirror(git_url, print_func=print_fn)
|
| + mirror.populate(depth=depth, shallow=shallow, bootstrap=True,
|
| + verbose=True, ignore_lock=True)
|
| return mirror.mirror_path
|
|
|
|
|
|
|