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 |