diff options
-rw-r--r-- | subcmds/sync.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index d6b8f9dc..225e565a 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
@@ -561,8 +561,9 @@ later is required to fix a server side protocol bug. | |||
561 | # Make sure pruning never kicks in with shared projects. | 561 | # Make sure pruning never kicks in with shared projects. |
562 | if (not project.use_git_worktrees and | 562 | if (not project.use_git_worktrees and |
563 | len(project.manifest.GetProjectsWithName(project.name)) > 1): | 563 | len(project.manifest.GetProjectsWithName(project.name)) > 1): |
564 | print('%s: Shared project %s found, disabling pruning.' % | 564 | if not opt.quiet: |
565 | (project.relpath, project.name)) | 565 | print('%s: Shared project %s found, disabling pruning.' % |
566 | (project.relpath, project.name)) | ||
566 | if git_require((2, 7, 0)): | 567 | if git_require((2, 7, 0)): |
567 | project.EnableRepositoryExtension('preciousObjects') | 568 | project.EnableRepositoryExtension('preciousObjects') |
568 | else: | 569 | else: |