diff options
Diffstat (limited to 'dev-util/weka/files/weka-3.7.13-build.xml.patch')
| -rw-r--r-- | dev-util/weka/files/weka-3.7.13-build.xml.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/dev-util/weka/files/weka-3.7.13-build.xml.patch b/dev-util/weka/files/weka-3.7.13-build.xml.patch deleted file mode 100644 index 05da33df23d6..000000000000 --- a/dev-util/weka/files/weka-3.7.13-build.xml.patch +++ /dev/null @@ -1,16 +0,0 @@ ---- a/build.xml 2016-04-11 16:45:18.592385569 +0200 -+++ b/build.xml 2016-04-11 16:48:01.756389582 +0200 -@@ -603,13 +603,6 @@ - <include name="**/*.default"/> - </fileset> - </copy> -- <rmic base="${build}/classes" -- classname="weka.experiment.RemoteEngine"/> -- <unzip src="${lib}/java-cup.jar" dest="${build}/classes"> -- <patternset> -- <include name="java_cup/runtime/**/*"/> -- </patternset> -- </unzip> - <unzip src="${lib}/packageManager.jar" dest="${build}/classes"> - <patternset> - <include name="org/**/*"/> |