This is tools r9 in tools_r9. DO NOT MERGE.

Change-Id: I4d6d8cd74abd2cb3b9087ac4f30b761d803e15e3

diff --git a/files/tools_source.properties b/files/tools_source.properties
index 0d39f62..945a050 100644 (file)
--- a/files/tools_source.properties
+++ b/files/tools_source.properties
@@ -1,2 +1,2 @@
 Pkg.UserSrc=false
-Pkg.Revision=10
+Pkg.Revision=9