mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-21 07:16:21 +00:00
sync: use superproject if manifest's config has superproject enabled.
If --use-superproject is passed as argument to "repo init", then --use-superproject need not be specified during "repo sync". Tested the code with the following commands. $ time repo_dev sync -c -j32 ... WARNING: --use-superproject is experimental and not for general use Bug: https://crbug.com/gerrit/13709 Bug: https://crbug.com/gerrit/13707 Change-Id: Ibb33f3038a2515f74a6c4f7cb785d354b26ee680 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/298102 Tested-by: Raman Tenneti <rtenneti@google.com> Reviewed-by: Mike Frysinger <vapier@google.com> Reviewed-by: Ian Kasprzak <iankaz@google.com>
This commit is contained in:
parent
6db4097f31
commit
55d6a5a3a2
@ -889,7 +889,9 @@ later is required to fix a server side protocol bug.
|
|||||||
else:
|
else:
|
||||||
self._UpdateManifestProject(opt, mp, manifest_name)
|
self._UpdateManifestProject(opt, mp, manifest_name)
|
||||||
|
|
||||||
if opt.use_superproject:
|
if (opt.use_superproject or
|
||||||
|
self.manifest.manifestProject.config.GetBoolean(
|
||||||
|
'repo.superproject')):
|
||||||
manifest_name = self._UpdateProjectsRevisionId(opt, args)
|
manifest_name = self._UpdateProjectsRevisionId(opt, args)
|
||||||
|
|
||||||
if self.gitc_manifest:
|
if self.gitc_manifest:
|
||||||
|
Loading…
Reference in New Issue
Block a user