diff options
author | Pirama Arumuga Nainar <pirama@google.com> | 2017-07-12 13:41:17 -0700 |
---|---|---|
committer | Pirama Arumuga Nainar <pirama@google.com> | 2017-07-12 13:49:09 -0700 |
commit | 5632c565a2d68aa253fdd525f1e0dbf95a6812b2 (patch) | |
tree | dd654b1c4eeafa6c30211a317dfb3ce743e97ef3 | |
parent | c024e4ab62f81a8e29fa6d032e600e6a163e8265 (diff) | |
download | manifest-5632c565a2d68aa253fdd525f1e0dbf95a6812b2.tar.gz |
Add the checked-in NDK r15 to the manifest
Bug: http://b/28196329
We should use this instead of the prebuilts/ndk project used in the
platform. We can remove prebuilts/ndk after we switch to using
prebuilts/ndk/r15.
Test: repo sync -m <new_manifest>.xml
Change-Id: I92058f4eda7fc65c56f7d17f8b4fa932e179baaf
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index e23d4fdc5..abfd7a361 100644 --- a/default.xml +++ b/default.xml @@ -46,4 +46,5 @@ <!-- NDK headers/libraries --> <project path="prebuilts/ndk" name="platform/prebuilts/ndk" /> + <project path="prebuilts/ndk/r15" name="toolchain/prebuilts/ndk/r15" /> </manifest> |