62 def repo_init(url, rev, workspace):  argument
72         (url, rev, workspace))
75                           (url, rev), cwd=workspace, shell=True)
78 def repo_sync(workspace, ignore_error, retry=5):  argument
85           (count, retry, workspace))
92       subprocess.check_output(command, cwd=workspace, shell=True)
111 def get_build_id(workspace):  argument
114   path = os.path.join(workspace, "build", "core", "build_id.mk")
119 def repo_sync_specific_release(url, branch, tag, workspace, ignore_error):  argument
122   if not os.path.exists(workspace):
123     os.makedirs(workspace)
125   manifest_path = os.path.join(workspace, ".repo", "manifests")
127   repo_init(url, branch, workspace)
133     repo_init(url, rev, workspace)
135   repo_sync(workspace, ignore_error)
143   workspace = os.path.abspath(DOWNSTREAM_WORKSPACE)
150       workspace,
157     build_id = get_build_id(workspace)
159       raise(ValueError("Error: could not find the Build ID of " + workspace))
183       workspace,