62 def repo_init(url, rev, workspace):  argument
73                             cwd=os.path.dirname(workspace), shell=True)
78                      "existing tree" % workspace)
81         (url, rev, workspace))
84                           (url, rev), cwd=workspace, shell=True)
87 def repo_sync(workspace, ignore_error, retry=5):  argument
94           (count, retry, workspace))
101       subprocess.check_output(command, cwd=workspace, shell=True)
120 def get_build_id(workspace):  argument
123   path = os.path.join(workspace, "build", "core", "build_id.mk")
128 def repo_sync_specific_release(url, branch, tag, workspace, ignore_error):  argument
131   if not os.path.exists(workspace):
132     os.makedirs(workspace)
134   manifest_path = os.path.join(workspace, ".repo", "manifests")
136   repo_init(url, branch, workspace)
142     repo_init(url, rev, workspace)
144   repo_sync(workspace, ignore_error)
152   workspace = os.path.abspath(DOWNSTREAM_WORKSPACE)
159       workspace,
166     build_id = get_build_id(workspace)
168       raise(ValueError("Error: could not find the Build ID of " + workspace))
192       workspace,