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