[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