diff options
Diffstat (limited to 'dev-util/weka/files/weka-3.8.0-build.xml.patch')
-rw-r--r-- | dev-util/weka/files/weka-3.8.0-build.xml.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/dev-util/weka/files/weka-3.8.0-build.xml.patch b/dev-util/weka/files/weka-3.8.0-build.xml.patch deleted file mode 100644 index ca8264dc2291..000000000000 --- a/dev-util/weka/files/weka-3.8.0-build.xml.patch +++ /dev/null @@ -1,16 +0,0 @@ ---- a/build.xml 2016-05-15 10:56:04.011409745 +0200 -+++ b/build.xml 2016-05-15 10:57:43.971411711 +0200 -@@ -618,13 +618,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}/bounce.jar" dest="${build}/classes"> - <patternset> - <include name="org/**/*"/> |