diff options
author | Mike Frysinger <vapier@google.com> | 2021-05-04 15:33:31 -0400 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2021-05-04 20:00:50 +0000 |
commit | 05638bf77193d53a8568600345733265e4c6a42c (patch) | |
tree | e6f88b26771a961fa28e62a2051ed4d1015aa1e8 | |
parent | c99322a6a9e48db070e50807f01c9467b30eda98 (diff) | |
download | git-repo-05638bf77193d53a8568600345733265e4c6a42c.tar.gz |
sync: use manifest_name passed in
Commit fb527e3f522a9f6ae05ee1fd707fb0b45c9190f2 ("sync: create dedicated
manifest project update func") refactored code from the main body into a
dedicated method. The manifest_name was passed as an argument, but never
used it, and instead reaches back out to the command line options. This
ignores the logic in the main loop where manifest_name might have changed
(like when using smart sync).
Change-Id: I4b84638fbb10c2b6f8f4b555e1475b0669c2daf4
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/305148
Reviewed-by: Raman Tenneti <rtenneti@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
-rw-r--r-- | subcmds/sync.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index b50fd94d..13ae0fed 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
@@ -801,7 +801,7 @@ later is required to fix a server side protocol bug. | |||
801 | start, time.time(), clean) | 801 | start, time.time(), clean) |
802 | if not clean: | 802 | if not clean: |
803 | sys.exit(1) | 803 | sys.exit(1) |
804 | self._ReloadManifest(opt.manifest_name) | 804 | self._ReloadManifest(manifest_name) |
805 | if opt.jobs is None: | 805 | if opt.jobs is None: |
806 | self.jobs = self.manifest.default.sync_j | 806 | self.jobs = self.manifest.default.sync_j |
807 | 807 | ||