aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorGravatar Klaus Aehlig <aehlig@google.com>2018-02-12 09:40:09 -0800
committerGravatar Copybara-Service <copybara-piper@google.com>2018-02-12 09:42:22 -0800
commit2950f318733ff886591434126036d796c24f99e1 (patch)
tree3f9d0642dd5160d5670a2640c864061d119b3477 /tools
parent44270eb72d779e5b91e84c2100eac23e01f0966e (diff)
git_repository: add missing args to doc string
Change-Id: Id898aafaf1a5dec16e5639f50981c1051caa70eb PiperOrigin-RevId: 185390071
Diffstat (limited to 'tools')
-rw-r--r--tools/build_defs/repo/git.bzl11
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/build_defs/repo/git.bzl b/tools/build_defs/repo/git.bzl
index bd162b4812..020b3acc6f 100644
--- a/tools/build_defs/repo/git.bzl
+++ b/tools/build_defs/repo/git.bzl
@@ -119,6 +119,11 @@ Args:
build_file_content: The content for the BUILD file for this repository.
Either build_file or build_file_content must be specified.
+ tag: tag in the remote repository to checked out
+
+ commit: specific commit to be checked out
+ Either tag or commit must be specified.
+
init_submodules: Whether to clone submodules in the repository.
remote: The URI of the remote Git repository.
@@ -142,5 +147,11 @@ Args:
remote: The URI of the remote Git repository.
+ tag: tag in the remote repository to checked out
+
+ commit: specific commit to be checked out
+ Either tag or commit must be specified.
+
+
strip_prefix: A directory prefix to strip from the extracted files.
"""