diff options
author | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-10-12 13:04:00 +0200 |
---|---|---|
committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-10-18 22:31:42 +0200 |
commit | b30fcfaf45358d002c8cb3112a907f32cebbd110 (patch) | |
tree | 9c6466ebadb50a5262edcb9006a75f69ed23857a /driver/BUILD.bazel | |
parent | db4b6009691571150beb3a1b350043bfe18ca473 (diff) | |
download | jazzer-api-b30fcfaf45358d002c8cb3112a907f32cebbd110.tar.gz |
Replace SIGUSR1 with SIGTERM on Windows
Diffstat (limited to 'driver/BUILD.bazel')
-rw-r--r-- | driver/BUILD.bazel | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/driver/BUILD.bazel b/driver/BUILD.bazel index d0e0d531..7bfe858e 100644 --- a/driver/BUILD.bazel +++ b/driver/BUILD.bazel @@ -65,6 +65,12 @@ cc_library( # Needs to be linked statically for JNI_OnLoad_jazzer_initialize to be found # by the JVM. linkstatic = True, + local_defines = select({ + # Windows does not have SIGUSR1, which triggers a graceful exit of + # libFuzzer. Instead, trigger a hard exit. + "@platforms//os:windows": ["SIGUSR1=SIGTERM"], + "//conditions:default": [], + }), tags = [ # Should be built through the cc_17_library driver_lib. "manual", |