Add new devtools projects
Change-Id: I8fb9b4c6f42de745d3c132d4a8b21f684e480539
diff --git a/default.xml b/default.xml
index 419dcfd..fe71a13 100644
--- a/default.xml
+++ b/default.xml
@@ -358,6 +358,8 @@
<project path="system/vold" name="platform/system/vold" />
<project path="tools/base" name="platform/tools/base" groups="notdefault,tools" />
<project path="tools/build" name="platform/tools/build" groups="notdefault,tools" />
+ <project path="tools/external/gradle" name="platform/tools/external/gradle" groups="notdefault,tools" />
<project path="tools/motodev" name="platform/tools/motodev" groups="notdefault,motodev" />
+ <project path="tools/swt" name="platform/tools/swt" groups="notdefault,tools" />
</manifest>