diff options
| -rw-r--r-- | subcmds/sync.py | 5 |
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), |
