diff options
| author | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-06-27 17:41:26 +0200 |
|---|---|---|
| committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-06-27 17:57:32 +0200 |
| commit | fe0b95b51dfc50cacb9e087d63cbce60fce10f0d (patch) | |
| tree | aa437eaa62e16b678e23a765f33258d639cfae8f /driver | |
| parent | 43bd323d7d237d3d2c7431b54167f17e7726fadb (diff) | |
| download | jazzer-api-fe0b95b51dfc50cacb9e087d63cbce60fce10f0d.tar.gz | |
Dynamically export symbols from jazzer_driver
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/BUILD.bazel | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/driver/BUILD.bazel b/driver/BUILD.bazel index 28b5a85e..cc4559a1 100644 --- a/driver/BUILD.bazel +++ b/driver/BUILD.bazel @@ -74,6 +74,9 @@ cc_binary( data = [ "//agent:jazzer_agent_deploy.jar", ], + linkopts = [ + "-rdynamic", + ], visibility = ["//visibility:public"], deps = [":driver_lib"], ) |