diff options
Diffstat (limited to 'tools/bazlets.bzl')
| -rw-r--r-- | tools/bazlets.bzl | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tools/bazlets.bzl b/tools/bazlets.bzl new file mode 100644 index 0000000000..f089af473a --- /dev/null +++ b/tools/bazlets.bzl @@ -0,0 +1,18 @@ +load("@bazel_tools//tools/build_defs/repo:git.bzl", "git_repository") + +NAME = "com_googlesource_gerrit_bazlets" + +def load_bazlets( + commit, + local_path = None): + if not local_path: + git_repository( + name = NAME, + remote = "https://gerrit.googlesource.com/bazlets", + commit = commit, + ) + else: + native.local_repository( + name = NAME, + path = local_path, + ) |