[jenkins-instance-identity] 08/10: Refresh parent-pom.patch

Markus Koschany apo-guest at moszumanska.debian.org
Thu Dec 3 15:17:19 UTC 2015


This is an automated email from the git hooks/post-receive script.

apo-guest pushed a commit to branch master
in repository jenkins-instance-identity.

commit bbd65a230c18081022fccf6af58215fef1b95bda
Author: Markus Koschany <apo at debian.org>
Date:   Thu Dec 3 16:09:42 2015 +0100

    Refresh parent-pom.patch
---
 debian/patches/parent-pom.patch | 24 ++++++++++++++++++++++++
 debian/patches/series           |  1 +
 2 files changed, 25 insertions(+)

diff --git a/debian/patches/parent-pom.patch b/debian/patches/parent-pom.patch
new file mode 100644
index 0000000..0be771a
--- /dev/null
+++ b/debian/patches/parent-pom.patch
@@ -0,0 +1,24 @@
+From: Markus Koschany <apo at debian.org>
+Date: Thu, 3 Dec 2015 16:09:32 +0100
+Subject: parent pom
+
+Always use the debian version of plugin parent POM.
+
+Forwarded: not needed
+---
+ pom.xml | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/pom.xml b/pom.xml
+index 2afdcbb..8fa8251 100644
+--- a/pom.xml
++++ b/pom.xml
+@@ -3,7 +3,7 @@
+   <parent>
+     <groupId>org.jenkins-ci.plugins</groupId>
+     <artifactId>plugin</artifactId>
+-    <version>1.609.1</version>
++    <version>debian</version>
+   </parent>
+ 
+   <groupId>org.jenkins-ci.modules</groupId>
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..5f4c0ac
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+parent-pom.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jenkins-instance-identity.git



More information about the pkg-java-commits mailing list