diff options
Diffstat (limited to 'java')
| -rw-r--r-- | java/build.xml | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/java/build.xml b/java/build.xml index 0c73030c..30f8ab57 100644 --- a/java/build.xml +++ b/java/build.xml @@ -2,19 +2,17 @@ <property environment="env"/> <target name="clean"> - <delete dir="bin"/> - <delete dir="libs"/> - <delete dir="obj"/> - <delete> - <fileset dir="jni" includes="*.so"/> - </delete> + <delete dir="bin" failonerror="false"/> + <delete dir="libs" failonerror="false"/> + <delete dir="obj" failonerror="false"/> </target> - <target name="build"> + <target name="build" depends="clean"> <echo message="os.name = ${os.name}"/> <echo message="os.arch = ${os.arch}"/> <echo message="ant.java.version = ${ant.java.version}"/> <echo message="java.version = ${java.version}"/> + <mkdir dir="bin"/> <javac srcdir="src" destdir="bin" classpath="${env.ANDROID_PLATFORM}/android.jar" |