diff options
author | Fabian Meumertzheim <meumertzheim@code-intelligence.com> | 2021-04-21 11:56:19 +0200 |
---|---|---|
committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-04-21 13:01:00 +0200 |
commit | 5ea0461b7993dcb66d9fc798164eb7002c196048 (patch) | |
tree | 7fc6d93d152c6cd81762a8a2cd545b8102c1f3f1 /third_party | |
parent | aac21b6a1bd9aed5353559fa171926d9a0b79970 (diff) | |
download | jazzer-api-5ea0461b7993dcb66d9fc798164eb7002c196048.tar.gz |
Mark non-Java 8 targets as manual
Diffstat (limited to 'third_party')
-rw-r--r-- | third_party/jni/BUILD.bazel | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/third_party/jni/BUILD.bazel b/third_party/jni/BUILD.bazel index 7f079226..3cbaba61 100644 --- a/third_party/jni/BUILD.bazel +++ b/third_party/jni/BUILD.bazel @@ -65,6 +65,8 @@ cc_import( "//conditions:default": "@local_jdk//:lib/server/libjvm.dylib", }), system_provided = True, + # Workaround for https://github.com/bazelbuild/bazel/issues/12745 + tags = ["manual"], ) cc_import( @@ -74,4 +76,6 @@ cc_import( "//conditions:default": "@local_jdk//:lib/server/libjvm.so", }), system_provided = True, + # Workaround for https://github.com/bazelbuild/bazel/issues/12745 + tags = ["manual"], ) |