diff options
author | Shawn O. Pearce <sop@google.com> | 2009-06-04 16:15:53 -0700 |
---|---|---|
committer | Shawn O. Pearce <sop@google.com> | 2009-06-04 16:20:02 -0700 |
commit | cd1d7ff81e0b4ab481f83ff883505dbf2442d5be (patch) | |
tree | e3240e2f0faea4c065f00b0fb07487d2b9747e31 /subcmds/sync.py | |
parent | da88ff4411e02225a6d511666ed82f7f9711a752 (diff) | |
download | git-repo-cd1d7ff81e0b4ab481f83ff883505dbf2442d5be.tar.gz |
sync: Don't process project.list in a mirror
We have no working tree, so we cannot update the project.list
state file, nor should we try to delete a directory if a project is
removed from the manifest. Clients would still need the repository
for historical records.
Signed-off-by: Shawn O. Pearce <sop@google.com>
Diffstat (limited to 'subcmds/sync.py')
-rw-r--r-- | subcmds/sync.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index ecb89a10..ad05cadd 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
@@ -217,6 +217,10 @@ uncommitted changes are present' % project.relpath | |||
217 | missing.append(project) | 217 | missing.append(project) |
218 | self._Fetch(missing) | 218 | self._Fetch(missing) |
219 | 219 | ||
220 | if self.manifest.IsMirror: | ||
221 | # bail out now, we have no working tree | ||
222 | return | ||
223 | |||
220 | if self.UpdateProjectList(): | 224 | if self.UpdateProjectList(): |
221 | sys.exit(1) | 225 | sys.exit(1) |
222 | 226 | ||