diff options
author | Dan Willemsen <dwillemsen@google.com> | 2020-05-19 18:09:50 +0000 |
---|---|---|
committer | Dan Willemsen <dwillemsen@google.com> | 2020-05-19 18:09:53 +0000 |
commit | ebb3f87cfc3cc8b9b2bad95500f2e828dbde6da6 (patch) | |
tree | 41cf572da18b15cd77f27a2c232fd58693df12b0 /default.xml | |
parent | 05f8493c299e22560d749c81f66416f3833ac176 (diff) | |
download | manifest-ebb3f87cfc3cc8b9b2bad95500f2e828dbde6da6.tar.gz |
Fix build-tools build
Bug: 149737100
Change-Id: Ib752a2b398f345285adb4db2d69f43c59ec40eac
Test: treehugger
Diffstat (limited to 'default.xml')
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 0814484e6..31ead21ec 100644 --- a/default.xml +++ b/default.xml @@ -94,6 +94,7 @@ <project path="external/zlib" name="platform/external/zlib" /> <project path="external/zopfli" name="platform/external/zopfli" /> <project path="system/core" name="platform/system/core" /> + <project path="system/libziparchive" name="platform/system/libziparchive" /> <!-- target projects --> <project path="build/kati" name="platform/build/kati" /> |