diff options
| -rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 38d19ddfc..3eeba48bc 100644 --- a/default.xml +++ b/default.xml @@ -652,6 +652,7 @@ <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,pdk-fs" /> + <project path="tools/external_updater" name="platform/tools/external_updater" 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" clone-depth="1" /> <project path="tools/idea" name="platform/tools/idea" groups="notdefault,tools" /> |