mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-12-14 00:24:05 +08:00
Describe the repo launch version in repo version
repo version v1.7.8
(from https://android.googlesource.com/tools/repo.git)
repo launcher version 1.14
(from /home/sop/bin/repo)
git version 1.7.8.rc2.256.gcc761
Python 2.6.5 (r265:79063, Apr 16 2010, 13:57:41)
[GCC 4.4.3]
Change-Id: Ifcbe5b0e226a1a6ca85455eb62e4da5e9a0f0ca0
This commit is contained in:
4
main.py
4
main.py
@@ -36,6 +36,7 @@ from git_config import init_ssh, close_ssh
|
||||
from command import InteractiveCommand
|
||||
from command import MirrorSafeCommand
|
||||
from command import PagedCommand
|
||||
from subcmds.version import Version
|
||||
from editor import Editor
|
||||
from error import DownloadError
|
||||
from error import ManifestInvalidRevisionError
|
||||
@@ -334,6 +335,9 @@ def _Main(argv):
|
||||
_CheckWrapperVersion(opt.wrapper_version, opt.wrapper_path)
|
||||
_CheckRepoDir(opt.repodir)
|
||||
|
||||
Version.wrapper_version = opt.wrapper_version
|
||||
Version.wrapper_path = opt.wrapper_path
|
||||
|
||||
repo = _Repo(opt.repodir)
|
||||
try:
|
||||
try:
|
||||
|
||||
Reference in New Issue
Block a user