From 55d6a5a3a224c2c0b397f57b02aea8f9bf76ca08 Mon Sep 17 00:00:00 2001 From: Raman Tenneti Date: Wed, 24 Feb 2021 14:37:01 -0800 Subject: [PATCH] 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 Reviewed-by: Mike Frysinger Reviewed-by: Ian Kasprzak --- subcmds/sync.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/subcmds/sync.py b/subcmds/sync.py index 63e5bc7d..47790cc8 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py @@ -889,7 +889,9 @@ later is required to fix a server side protocol bug. else: 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) if self.gitc_manifest: