diff options
author | John Cater <jcater@google.com> | 2018-01-12 07:29:13 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-01-12 08:21:03 -0800 |
commit | d90a0054b902c771a80efcbcfabde7e34db6fafd (patch) | |
tree | f65ae92fe4187aa919d094a016a44e01fd31b3e7 /tools/jdk | |
parent | 4d6cc0cfcf762e2a644510483942d199ab91d737 (diff) |
Add toolchain_type definitions for JDK and JRE toolchains.
Change-Id: I61def9d449a8b05dde4f96983b84488a71be63a4
PiperOrigin-RevId: 181742031
Diffstat (limited to 'tools/jdk')
-rw-r--r-- | tools/jdk/BUILD | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/jdk/BUILD b/tools/jdk/BUILD index 26a236f598..a4142046ad 100644 --- a/tools/jdk/BUILD +++ b/tools/jdk/BUILD @@ -10,6 +10,12 @@ load( "JDK9_JVM_OPTS", ) +# Used to distinguish toolchains used for Java development, ie the JavaToolchainProvider. +toolchain_type(name = "toolchain_type") + +# Used to distinguish toolchains used for Java execution, ie the JavaRuntimeInfo. +toolchain_type(name = "runtime_toolchain_type") + java_runtime_alias(name = "current_java_runtime") java_host_runtime_alias(name = "current_host_java_runtime") |