diff options
Diffstat (limited to 'tools/jdk/BUILD')
| -rw-r--r-- | tools/jdk/BUILD | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/jdk/BUILD b/tools/jdk/BUILD index 50feeb0c2e..2793124902 100644 --- a/tools/jdk/BUILD +++ b/tools/jdk/BUILD @@ -102,6 +102,14 @@ java_toolchain( target_version = "8", ) +java_toolchain( + name = "toolchain7", + encoding = "UTF-8", + jvm_opts = ["-client"], + source_version = "7", + target_version = "7", +) + filegroup( name = "srcs", srcs = [ |