diff options
-rw-r--r-- | tools/jdk/BUILD | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/jdk/BUILD b/tools/jdk/BUILD index 8ed90ef001..9029782245 100644 --- a/tools/jdk/BUILD +++ b/tools/jdk/BUILD @@ -155,6 +155,16 @@ alias( java_toolchain( name = "toolchain", bootclasspath = [":bootclasspath"], + compatible_javacopts = { + # Restrict protos to Java 7 so that they are compatible with Android. + "proto": [ + "-source", + "7", + "-target", + "7", + "-XDallowBetterNullChecks=false", + ], + }, encoding = "UTF-8", extclasspath = [":extclasspath"], forcibly_disable_header_compilation = 0, |