diff options
author | Pete Gillin <peteg@google.com> | 2019-10-29 15:29:52 +0000 |
---|---|---|
committer | Pete Gillin <peteg@google.com> | 2019-10-29 15:31:12 +0000 |
commit | d0dbc6f85084213666633ba81d17d6a35d16449e (patch) | |
tree | 8de12d894dffae7951fadbba855c34ec741cbaca /default.xml | |
parent | eaf3e7e63b10d5a51b4bf8428975a5f7502a0038 (diff) | |
download | manifest-d0dbc6f85084213666633ba81d17d6a35d16449e.tar.gz |
build-tools: Add OpenJDK 11 toolchain to manifest.
This will be needed when it becomes the default toolchain in the
build.
Bug: 143521861
Test: treehugger
Change-Id: I8548a11171149d65f2cdbb0a34c2f13c4c70c8cc
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 05ea1abfa..2796b26f5 100644 --- a/default.xml +++ b/default.xml @@ -46,6 +46,7 @@ <project path="prebuilts/gcc/linux-x86/host/x86_64-w64-mingw32-4.8" name="platform/prebuilts/gcc/linux-x86/host/x86_64-w64-mingw32-4.8" groups="linux" clone-depth="1" /> <!-- toolchain jdk prebuilts --> + <project path="prebuilts/jdk/jdk11" name="platform/prebuilts/jdk/jdk11" clone-depth="1" /> <project path="prebuilts/jdk/jdk8" name="platform/prebuilts/jdk/jdk8" clone-depth="1" /> <project path="prebuilts/jdk/jdk9" name="platform/prebuilts/jdk/jdk9" clone-depth="1" /> |