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