diff options
Diffstat (limited to 'debian/patches/build.patch')
| -rw-r--r-- | debian/patches/build.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/build.patch b/debian/patches/build.patch index 3c16b872..9ac8e7e7 100644 --- a/debian/patches/build.patch +++ b/debian/patches/build.patch @@ -1,7 +1,7 @@ -Index: elki-0.4.0~beta1/build.xml +Index: elki-0.4.0~beta2/build.xml =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 -+++ elki-0.4.0~beta1/build.xml 2011-08-17 23:10:16.000000000 +0200 ++++ elki-0.4.0~beta2/build.xml 2011-09-03 01:54:38.000000000 +0200 @@ -0,0 +1,58 @@ +<project name="ELKI" default="dist" basedir="."> + <property name="src" location="src"/> @@ -20,7 +20,7 @@ Index: elki-0.4.0~beta1/build.xml + + <target name="compile" depends="init"> + <!-- Compile the java code from ${src} into ${build} --> -+ <javac destdir="${build}" includeantruntime="false" deprecation="false" debug="false" optimize="true" source="1.6" debuglevel=""> ++ <javac destdir="${build}" includeantruntime="false" deprecation="false" debug="false" optimize="true" source="1.6" target="1.6" debuglevel=""> + <compilerarg value="-Xlint:all" /> + <classpath> + <pathelement path="${src}" /> |