diff options
| author | Raman Tenneti <rtenneti@google.com> | 2021-02-24 14:37:01 -0800 |
|---|---|---|
| committer | Raman Tenneti <rtenneti@google.com> | 2021-02-25 16:35:53 +0000 |
| commit | 55d6a5a3a224c2c0b397f57b02aea8f9bf76ca08 (patch) | |
| tree | e5296c0d541edebf080db2d5caafbfea50f8656b /project.py | |
| parent | 6db4097f3170a9d1dbe1f66fb49b75e15f4683dd (diff) | |
| download | git-repo-55d6a5a3a224c2c0b397f57b02aea8f9bf76ca08.tar.gz | |
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>
Diffstat (limited to 'project.py')
0 files changed, 0 insertions, 0 deletions