The following commit has been merged in the master branch:
commit dc6d52a8826977f1e3a114142e6673dd40567918
Author: Gabriele Giacone <[email protected]>
Date: Fri Jun 15 14:05:26 2012 +0000
Refresh 02build.xml patch.
diff --git a/debian/patches/02build.xml b/debian/patches/02build.xml
index 00e3080..af70d55 100644
--- a/debian/patches/02build.xml
+++ b/debian/patches/02build.xml
@@ -2,9 +2,9 @@ Description: Some bsh directories and files have been removed
by jedit.
In Debian bsh, they exist and this patch excludes them from build process.
Author: Gabriele Giacone <[email protected]>
---- a/jEdit/build.xml
-+++ b/jEdit/build.xml
-@@ -143,6 +143,10 @@
+--- a/build.xml
++++ b/build.xml
+@@ -233,6 +233,10 @@
encoding="UTF-8"
includeAntRuntime="false">
<include name="org/**"/>
@@ -12,6 +12,6 @@ Author: Gabriele Giacone <[email protected]>
+ <exclude name="org/gjt/sp/jedit/bsh/util/*"/>
+ <exclude name="org/gjt/sp/jedit/bsh/util/**/*"/>
+ <exclude name="org/gjt/sp/jedit/bsh/Console.java"/>
- <include name="com/**"/>
<compilerarg line="${config.build.compilerarg}"/>
</javac>
+ </target>
--
jedit - Java plugin-based editor for programmers
_______________________________________________
pkg-java-commits mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
