Searched refs:rev (Results 1 – 4 of 4) sorted by relevance
| /development/tools/repo_diff/ |
| D | repo_diff_android.py | 62 def repo_init(url, rev, workspace): argument
72 (url, rev, workspace))
75 (url, rev), cwd=workspace, shell=True)
130 rev = get_commit_with_keyword(manifest_path, tag)
131 if not rev:
133 repo_init(url, rev, workspace)
|
| /development/tools/core_connectivity/ |
| D | check_style.sh | 14 GITROOTDIR=`git rev-parse --show-toplevel`
30 local MSG=`git rev-list --format=%B --max-count=1 HEAD`
|
| /development/vndk/snapshot/ |
| D | check_gpl_license.py | 118 rev=revision, proj=git_project_path))
131 format(proj=git_project_path, rev=output))
136 rev=revision, proj=git_project_path))
148 format(rev=revision, proj=git_project_path))
158 rev=revision, remote=self._remote_git, err=error))
|
| /development/build/tools/ |
| D | mk_sdk_repo_xml.sh | 110 Platform.MinToolsRev min-tools-rev 1
111 Platform.MinPlatformToolsRev min-platform-tools-rev 3
180 @ min-tools-rev
181 @ min-platform-tools-rev
|