diff options
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 2306ab9fd..e9cb4a9cd 100644 --- a/default.xml +++ b/default.xml @@ -605,6 +605,7 @@ <project path="tools/apksig" name="platform/tools/apksig" groups="pdk,tradefed" /> <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/dexter" name="platform/tools/dexter" groups="tools" /> <project path="tools/external/fat32lib" name="platform/tools/external/fat32lib" groups="tools" /> <project path="tools/external/gradle" name="platform/tools/external/gradle" groups="tools" /> <project path="tools/idea" name="platform/tools/idea" groups="notdefault,tools" /> |