diff options
author | Raphael Moll <ralf@android.com> | 2011-02-23 22:31:01 -0800 |
---|---|---|
committer | Raphael Moll <ralf@android.com> | 2011-02-23 22:31:01 -0800 |
commit | 87033a58d604af63b580262811b947ff4bd15785 (patch) | |
tree | 32fffca5763254cdcbad11ad0ebb47e72a99cde1 /files | |
parent | 37febdb92972373e73fdfe5052f56f955acf3d35 (diff) | |
download | sdk-87033a58d604af63b580262811b947ff4bd15785.zip sdk-87033a58d604af63b580262811b947ff4bd15785.tar.gz sdk-87033a58d604af63b580262811b947ff4bd15785.tar.bz2 |
Add min-platform-tools-rev to the tools source.properties
We need that info to generate the repository.xml since it's
a mandatory attribute in the XSD.
Change-Id: Ic341687f07f8d91182d680cd1d3b35e431c38670
Diffstat (limited to 'files')
-rw-r--r-- | files/tools_source.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/files/tools_source.properties b/files/tools_source.properties index f9701aa..ca992d1 100644 --- a/files/tools_source.properties +++ b/files/tools_source.properties @@ -1,2 +1,3 @@ Pkg.UserSrc=false Pkg.Revision=11 +Platform.MinPlatformToolsRev=3 |