This is an automated email from the git hooks/post-receive script. ebourg-guest pushed a commit to branch master in repository bnd.
commit 62d3ff9342eb8dfaa55b4045c2c6c8472bbb7a75 Author: Emmanuel Bourg <[email protected]> Date: Thu Dec 17 09:54:47 2015 +0100 Disabled the JPM plugin --- debian/patches/disable-jpm-plugin.patch | 19 +++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 20 insertions(+) diff --git a/debian/patches/disable-jpm-plugin.patch b/debian/patches/disable-jpm-plugin.patch new file mode 100644 index 0000000..51c5f03 --- /dev/null +++ b/debian/patches/disable-jpm-plugin.patch @@ -0,0 +1,19 @@ +Description: Disable the JPM plugin (not available in the bootstrap jar) +Author: Emmanuel Bourg <[email protected]> +Forwarded: not-needed +--- a/cnf/ext/repositories.bnd ++++ b/cnf/ext/repositories.bnd +@@ -2,13 +2,6 @@ + aQute.lib.deployer.FileRepo;name='Main' ;location=${repo},\ + aQute.lib.deployer.FileRepo;name='Release';location=${releaserepo},\ + aQute.bnd.signing.JartoolSigner, \ +- aQute.bnd.jpm.Repository; \ +- includeStaged=true; \ +- name=JPM; \ +- location=~/.bnd/shacache; \ +- index=${workspace}/cnf/jpm4j.json; \ +- depository.group=bndtools; \ +- depository.name=dist, \ + + + -releaserepo: Release diff --git a/debian/patches/series b/debian/patches/series index c279fd6..8bba8b4 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -6,3 +6,4 @@ implement-missing-methods.patch no-osgi.r5.patch #java8-compatibility.patch no-osgi-annotations.patch +disable-jpm-plugin.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/bnd.git _______________________________________________ pkg-java-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
