diff options
-rw-r--r-- | project.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2182,8 +2182,8 @@ class Project(object): | |||
2182 | try: | 2182 | try: |
2183 | self._CheckDirReference(self.objdir, self.gitdir, share_refs=False) | 2183 | self._CheckDirReference(self.objdir, self.gitdir, share_refs=False) |
2184 | except GitError as e: | 2184 | except GitError as e: |
2185 | print("Retrying clone after deleting %s" % force_sync, file=sys.stderr) | ||
2186 | if force_sync: | 2185 | if force_sync: |
2186 | print("Retrying clone after deleting %s" % self.gitdir, file=sys.stderr) | ||
2187 | try: | 2187 | try: |
2188 | shutil.rmtree(os.path.realpath(self.gitdir)) | 2188 | shutil.rmtree(os.path.realpath(self.gitdir)) |
2189 | if self.worktree and os.path.exists( | 2189 | if self.worktree and os.path.exists( |