summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex Light <allight@google.com>2017-08-28 09:02:01 -0700
committerAlex Light <allight@google.com>2017-08-28 22:25:58 +0000
commit6e134a21de3438b696008198773fb5f2839d8e79 (patch)
tree93d27296bee17bec58f337cbf58b1aea9554625d
parentb1a4caba161da33439729e9f27002a9ad47c7bbd (diff)
downloadmanifest-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.xml1
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" />