summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--subcmds/sync.py5
1 files changed, 3 insertions, 2 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py
index 4898430b..707c5bbd 100644
--- a/subcmds/sync.py
+++ b/subcmds/sync.py
@@ -986,10 +986,11 @@ later is required to fix a server side protocol bug.
986 986
987 load_local_manifests = not self.manifest.HasLocalManifests 987 load_local_manifests = not self.manifest.HasLocalManifests
988 use_superproject = git_superproject.UseSuperproject(opt, self.manifest) 988 use_superproject = git_superproject.UseSuperproject(opt, self.manifest)
989 if self.manifest.IsMirror or self.manifest.IsArchive: 989 if use_superproject and (self.manifest.IsMirror or self.manifest.IsArchive):
990 # Don't use superproject, because we have no working tree. 990 # Don't use superproject, because we have no working tree.
991 use_superproject = False 991 use_superproject = False
992 print('Defaulting to no-use-superproject because there is no working tree.') 992 if opt.use_superproject is not None:
993 print('Defaulting to no-use-superproject because there is no working tree.')
993 superproject_logging_data = { 994 superproject_logging_data = {
994 'superproject': use_superproject, 995 'superproject': use_superproject,
995 'haslocalmanifests': bool(self.manifest.HasLocalManifests), 996 'haslocalmanifests': bool(self.manifest.HasLocalManifests),