diff options
Diffstat (limited to 'src/tools/android/java/com')
-rw-r--r-- | src/tools/android/java/com/google/devtools/build/android/desugar/runtime/BUILD | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/android/java/com/google/devtools/build/android/desugar/runtime/BUILD b/src/tools/android/java/com/google/devtools/build/android/desugar/runtime/BUILD index c5a385cbed..dbfd683cb8 100644 --- a/src/tools/android/java/com/google/devtools/build/android/desugar/runtime/BUILD +++ b/src/tools/android/java/com/google/devtools/build/android/desugar/runtime/BUILD @@ -4,6 +4,11 @@ java_library( name = "throwable_extension", srcs = ["ThrowableExtension.java"], + # This library must be compiled with java7, as we directly copy it to the desugared jar. + javacopts = [ + "-source 7", + "-target 7", + ], visibility = ["//src/tools/android/java/com/google/devtools/build/android/desugar:__pkg__"], ) |