David Pursehouse eb4f5d46ff Upgrade JGit to 4.2.0.201601211800-r.136-g8efdaaf
This is a recent snapshot built off JGit's master branch, including
the fixes that went into 4.1.2.201602141800-r which we have already
upgraded to on stable-2.12.

Change-Id: I9cb311906957f4cbc00e0d168abfe512c070dca1
2016-02-29 17:47:28 +09:00

26 lines
591 B
Python

include_defs('//lib/maven.defs')
include_defs('//lib/JGIT_VERSION')
maven_jar(
name = 'jgit',
id = 'org.eclipse.jgit:org.eclipse.jgit:' + VERS,
bin_sha1 = '32f50e3c0c4f53d8fdca147d3ff0b6ef0dc02eb0',
src_sha1 = '1ff155886d6ce2e6e566a90960862aa0e5b226d8',
license = 'jgit',
repository = REPO,
unsign = True,
deps = [':ewah'],
exclude = [
'META-INF/eclipse.inf',
'about.html',
'plugin.properties',
],
)
maven_jar(
name = 'ewah',
id = 'com.googlecode.javaewah:JavaEWAH:0.7.9',
sha1 = 'eceaf316a8faf0e794296ebe158ae110c7d72a5a',
license = 'Apache2.0',
)