mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-21 07:16:21 +00:00
sync: Update default -j flag from manifest
If the manifest is updated and the default sync-j attribute was modified, honor it during this sync session if the user has not supplied a -j flag on the command line. Change-Id: I127ee5c779e2bbbb40b30bddc10ec1fa704b3bf3 Signed-off-by: Shawn O. Pearce <sop@google.com>
This commit is contained in:
parent
7b947de1ee
commit
c4657969eb
@ -136,7 +136,6 @@ later is required to fix a server side protocol bug.
|
||||
help='be more quiet')
|
||||
p.add_option('-j','--jobs',
|
||||
dest='jobs', action='store', type='int',
|
||||
default=self.jobs,
|
||||
help="projects to fetch simultaneously (default %d)" % self.jobs)
|
||||
if show_smart:
|
||||
p.add_option('-s', '--smart-sync',
|
||||
@ -401,6 +400,8 @@ uncommitted changes are present' % project.relpath
|
||||
if not syncbuf.Finish():
|
||||
sys.exit(1)
|
||||
self.manifest._Unload()
|
||||
if opt.jobs is None:
|
||||
self.jobs = self.manifest.default.sync_j
|
||||
all = self.GetProjects(args, missing_ok=True)
|
||||
|
||||
if not opt.local_only:
|
||||
|
Loading…
Reference in New Issue
Block a user