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