summaryrefslogtreecommitdiffstats
path: root/project.py
diff options
context:
space:
mode:
Diffstat (limited to 'project.py')
-rw-r--r--project.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/project.py b/project.py
index 82fa8487..d82f3d72 100644
--- a/project.py
+++ b/project.py
@@ -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(