mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
Update build.xml for new format from updated toolchains
This commit is contained in:
parent
ca58ff607e
commit
988cdf98eb
1 changed files with 11 additions and 3 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue