summaryrefslogtreecommitdiffstats
path: root/WORKSPACE
diff options
context:
space:
mode:
authorLuca Milanesio <luca.milanesio@gmail.com>2019-10-01 18:01:22 +0100
committerLuca Milanesio <luca.milanesio@gmail.com>2019-10-01 14:11:43 -0400
commit3b5a4416aaf69f9b5184e332c54ad2997c0b2fe9 (patch)
tree324ed334f9c0224f949b064f0489e0cf7a11202c /WORKSPACE
parenta358d0c53ba3ba89b81ac955aaf42e0ac196e8ed (diff)
downloadjgit-3b5a4416aaf69f9b5184e332c54ad2997c0b2fe9.tar.gz
jgit-3b5a4416aaf69f9b5184e332c54ad2997c0b2fe9.zip
Rename servlet-api-3_1 to match Gerrit master
JGit is built from source on Gerrit-CI: the Bazel build dependencies need to be aligned. On Gerrit master the servlet-api-3_1 is renamed to servlet-api (see [1]): do the same on the JGit master branch. In addition, removing the version suffix from dependency rule makes it much easier to upgrade. The actual reason the for the renaming it in Gerrit core is upgrade attempt to servlet-api 4.0, done in [2]. [1] https://gerrit-review.googlesource.com/c/gerrit/+/238496 [2] https://gerrit-review.googlesource.com/c/gerrit/+/238383 Change-Id: I63c506da335deef54eb279879e897b427200797b Signed-off-by: Luca Milanesio <luca.milanesio@gmail.com>
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE2
1 files changed, 1 insertions, 1 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 86e12b607e..9f707d872a 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -100,7 +100,7 @@ maven_jar(
)
maven_jar(
- name = "servlet-api-3_1",
+ name = "servlet-api",
artifact = "javax.servlet:javax.servlet-api:3.1.0",
sha1 = "3cd63d075497751784b2fa84be59432f4905bf7c",
)