diff options
| author | Matthias Maennich <maennich@google.com> | 2020-06-10 12:58:28 +0200 |
|---|---|---|
| committer | Matthias Maennich <maennich@google.com> | 2020-06-10 12:59:02 +0200 |
| commit | 322d6b3aae13ab7e5744921dc9626b5d501a509d (patch) | |
| tree | b641aff5fb3a3658147c849080fbd1928f058d1c | |
| parent | 750aa7be0c238cebf0077ac7f5a44382a3ab44e4 (diff) | |
| download | manifest-322d6b3aae13ab7e5744921dc9626b5d501a509d.tar.gz | |
add kernel-build-tools repository
The kernel-build-tools repository contains additional prebuilt binaries
used during the kernel build. Those are additional to the platform
prebuilts.
Signed-off-by: Matthias Maennich <maennich@google.com>
Change-Id: I5fec2b57315290b2fc96abf8c3f3e2852d058e5d
| -rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 7764d99..1013a3d 100644 --- a/default.xml +++ b/default.xml @@ -18,5 +18,6 @@ <project path="prebuilts-master/clang/host/linux-x86" name="platform/prebuilts/clang/host/linux-x86" clone-depth="1" /> <project path="prebuilts/boot-artifacts" name="platform/prebuilts/boot-artifacts" /> <project path="prebuilts/build-tools" name="platform/prebuilts/build-tools" clone-depth="1" /> + <project path="prebuilts/kernel-build-tools" name="kernel/prebuilts/build-tools" clone-depth="1" /> <project path="tools/mkbootimg" name="platform/system/tools/mkbootimg" /> </manifest> |