diff options
author | Fabian Meumertzheim <meumertzheim@code-intelligence.com> | 2021-08-11 10:30:29 +0200 |
---|---|---|
committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-08-13 10:49:50 +0200 |
commit | 792cb5c74273fc553c42ae57c75c26193f7dff93 (patch) | |
tree | 457bfdba8827aaccb56cc2835f140df3c27fd694 /driver | |
parent | 5a1249e8022a3485e937bdfab5953b5b78ed9f5c (diff) | |
download | jazzer-api-792cb5c74273fc553c42ae57c75c26193f7dff93.tar.gz |
Do not build cc_17_library twice with //...
Diffstat (limited to 'driver')
-rw-r--r-- | driver/BUILD.bazel | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/driver/BUILD.bazel b/driver/BUILD.bazel index 656df7cb..eed2cb6c 100644 --- a/driver/BUILD.bazel +++ b/driver/BUILD.bazel @@ -47,6 +47,10 @@ cc_library( # Needs to be linked statically for JNI_OnLoad_jazzer_initialize to be found # by the JVM. linkstatic = True, + tags = [ + # Should be built through the cc_17_library driver_lib. + "manual", + ], visibility = ["//visibility:public"], deps = [ ":sanitizer_hooks_with_pc", |