[bnd] 06/07: Disabled the JPM plugin

[Emmanuel Bourg]

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 <ebourg at apache.org>
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 <ebourg at apache.org>
+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