From 87033a58d604af63b580262811b947ff4bd15785 Mon Sep 17 00:00:00 2001 From: Raphael Moll Date: Wed, 23 Feb 2011 22:31:01 -0800 Subject: 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 --- files/tools_source.properties | 1 + 1 file changed, 1 insertion(+) (limited to 'files/tools_source.properties') 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 -- cgit v1.1