diff options
Diffstat (limited to 'project.py')
-rw-r--r-- | project.py | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -3790,10 +3790,10 @@ class ManifestProject(MetaProject): | |||
3790 | outer_manifest=False, | 3790 | outer_manifest=False, |
3791 | ) | 3791 | ) |
3792 | 3792 | ||
3793 | # Lastly, clone the superproject(s). | 3793 | # Lastly, if the manifest has a <superproject> then have the superproject |
3794 | if self.manifest.manifestProject.use_superproject: | 3794 | # sync it if it will be used. |
3795 | sync_result = Superproject( | 3795 | if self.manifest.superproject: |
3796 | self.manifest, self.manifest.repodir, git_event_log, quiet=not verbose).Sync() | 3796 | sync_result = self.manifest.superproject.Sync(git_event_log) |
3797 | if not sync_result.success: | 3797 | if not sync_result.success: |
3798 | print('warning: git update of superproject for ' | 3798 | print('warning: git update of superproject for ' |
3799 | f'{self.manifest.path_prefix} failed, repo sync will not use ' | 3799 | f'{self.manifest.path_prefix} failed, repo sync will not use ' |