diff options
author | Alex Light <allight@google.com> | 2017-08-28 09:02:01 -0700 |
---|---|---|
committer | Alex Light <allight@google.com> | 2017-08-28 22:25:58 +0000 |
commit | 6e134a21de3438b696008198773fb5f2839d8e79 (patch) | |
tree | 93d27296bee17bec58f337cbf58b1aea9554625d | |
parent | b1a4caba161da33439729e9f27002a9ad47c7bbd (diff) | |
download | manifest-6e134a21de3438b696008198773fb5f2839d8e79.tar.gz |
Add platform/tools/dexter to manifest.
It is checked out at tools/dexter.
Test: repo sync
Bug: 65011851
Change-Id: I9ea14b5fba45b53636f3392cd1e04269231278e9
-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" /> |