[sikuli] 12/21: Fix patch drop-useless-resources.patch

Gilles Filippini pini at debian.org
Sat Nov 7 12:11:54 UTC 2015


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

pini pushed a commit to branch master
in repository sikuli.

commit 5665838cc748b93917ef12f9db0ad1fc97648633
Author: Gilles Filippini <pini at debian.org>
Date:   Wed Nov 4 15:36:26 2015 +0100

    Fix patch drop-useless-resources.patch
---
 debian/patches/drop-useless-resources.patch | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/debian/patches/drop-useless-resources.patch b/debian/patches/drop-useless-resources.patch
index 561fa76..cadc5f1 100644
--- a/debian/patches/drop-useless-resources.patch
+++ b/debian/patches/drop-useless-resources.patch
@@ -4,13 +4,11 @@ Index: sikuli/API/pom.xml
 ===================================================================
 --- sikuli.orig/API/pom.xml
 +++ sikuli/API/pom.xml
-@@ -74,6 +74,9 @@
+@@ -83,6 +83,7 @@
+ 				<filtering>false</filtering>
+ 				<excludes>
+ 					<exclude>Settings/*</exclude>
++					<exclude>Commands/*</exclude>
+ 				</excludes>
+ 			</resource>
  			<resource>
- 				<directory>src/main/resources</directory>
- 				<filtering>true</filtering>
-+				<excludes>
-+					<exclude>Commands/**</exclude>
-+				</excludes>
- 				<includes>
- 					<include>Settings/*</include>
- 				</includes>

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



More information about the pkg-java-commits mailing list