diff options
author | David Ostrovsky <david@ostrovsky.org> | 2018-12-28 09:23:12 +0100 |
---|---|---|
committer | David Pursehouse <dpursehouse@collab.net> | 2019-01-11 08:35:04 +0900 |
commit | a9c456548354fd99f6f5d9934f90800e5b117adb (patch) | |
tree | 5cbffd13032a1f238672ecc9cb829d2810f0f538 /tools | |
parent | 0c3494738470d64c9e15c214598c6dea08236c08 (diff) |
maven_jar: Add repo.eclipse.org to supported repositories
Change-Id: Ida1d56b8dd9a78fe4f0787aada9ac327be79f5ad
Diffstat (limited to 'tools')
-rw-r--r-- | tools/bzl/maven_jar.bzl | 2 | ||||
-rw-r--r-- | tools/util.py | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/tools/bzl/maven_jar.bzl b/tools/bzl/maven_jar.bzl index 05f18bd14a..821e037687 100644 --- a/tools/bzl/maven_jar.bzl +++ b/tools/bzl/maven_jar.bzl @@ -6,6 +6,8 @@ MAVEN_CENTRAL = "MAVEN_CENTRAL:" MAVEN_LOCAL = "MAVEN_LOCAL:" +ECLIPSE = "ECLIPSE:" + def _maven_release(ctx, parts): """induce jar and url name from maven coordinates.""" if len(parts) not in [3, 4]: diff --git a/tools/util.py b/tools/util.py index e8182ed9d8..0967f1b539 100644 --- a/tools/util.py +++ b/tools/util.py @@ -15,6 +15,7 @@ from os import path REPO_ROOTS = { + 'ECLIPSE': 'https://repo.eclipse.org/content/groups/releases', 'GERRIT': 'http://gerrit-maven.storage.googleapis.com', 'GERRIT_API': 'https://gerrit-api.commondatastorage.googleapis.com/release', 'MAVEN_CENTRAL': 'http://repo1.maven.org/maven2', |