diff options
Diffstat (limited to 'subcmds')
| -rw-r--r-- | subcmds/sync.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index f2af0ec3..e2bc1d17 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
| @@ -571,7 +571,7 @@ later is required to fix a server side protocol bug. | |||
| 571 | for project in projects: | 571 | for project in projects: |
| 572 | # Make sure pruning never kicks in with shared projects. | 572 | # Make sure pruning never kicks in with shared projects. |
| 573 | if (not project.use_git_worktrees and | 573 | if (not project.use_git_worktrees and |
| 574 | len(project.manifest.GetProjectsWithName(project.name)) > 1): | 574 | len(project.manifest.GetProjectsWithName(project.name)) > 1): |
| 575 | print('%s: Shared project %s found, disabling pruning.' % | 575 | print('%s: Shared project %s found, disabling pruning.' % |
| 576 | (project.relpath, project.name)) | 576 | (project.relpath, project.name)) |
| 577 | if git_require((2, 7, 0)): | 577 | if git_require((2, 7, 0)): |
| @@ -665,8 +665,8 @@ later is required to fix a server side protocol bug. | |||
| 665 | revisionId=None, | 665 | revisionId=None, |
| 666 | groups=None) | 666 | groups=None) |
| 667 | if not project.DeleteWorktree( | 667 | if not project.DeleteWorktree( |
| 668 | quiet=opt.quiet, | 668 | quiet=opt.quiet, |
| 669 | force=opt.force_remove_dirty): | 669 | force=opt.force_remove_dirty): |
| 670 | return 1 | 670 | return 1 |
| 671 | 671 | ||
| 672 | new_project_paths.sort() | 672 | new_project_paths.sort() |
