diff options
Diffstat (limited to 'support/android/apk')
| -rw-r--r-- | support/android/apk/build.xml | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/support/android/apk/build.xml b/support/android/apk/build.xml index 3e22c93f50a..3d1611517a8 100644 --- a/support/android/apk/build.xml +++ b/support/android/apk/build.xml @@ -36,9 +36,17 @@ <condition property="sdk.dir" value="${env.ANDROID_HOME}"> <isset property="env.ANDROID_HOME" /> </condition> - <condition property="target" value="${env.ANDROID_PLATFORM}"> - <isset property="env.ANDROID_PLATFORM" /> - </condition> + + <!-- The project.properties file is created and updated by the 'android' + tool, as well as ADT. + + This contains project specific properties such as project target, and library + dependencies. Lower level build properties are stored in ant.properties + (or in .classpath for Eclipse projects). + + This file is an integral part of the build system for your + application and should be checked into Version Control Systems. --> + <loadproperties srcFile="project.properties" /> <!-- quick check on sdk.dir --> <fail |