diff options
| author | Fabian Meumertzheim <meumertzheim@code-intelligence.com> | 2021-05-05 14:29:11 +0200 |
|---|---|---|
| committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-05-06 09:24:13 +0200 |
| commit | 7000c31795a656c721cc282107029218be6360f2 (patch) | |
| tree | e3eeb56d2a0f2047e58ce15db9edf4750702e0da /examples | |
| parent | bcd0b468db0ee51d9e31a0c8f912a59f005e2683 (diff) | |
| download | jazzer-api-7000c31795a656c721cc282107029218be6360f2.tar.gz | |
Simplify Bazel handling of JNI headers
Use a Bazel provided target for the JNI headers instead of a custom one.
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/src/main/native/BUILD.bazel | 2 | ||||
| -rw-r--r-- | examples/src/main/native/com_example_ExampleFuzzerWithNative.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/examples/src/main/native/BUILD.bazel b/examples/src/main/native/BUILD.bazel index 11a6a740..16b48419 100644 --- a/examples/src/main/native/BUILD.bazel +++ b/examples/src/main/native/BUILD.bazel @@ -15,6 +15,6 @@ cc_binary( linkshared = True, visibility = ["//examples:__pkg__"], deps = [ - "//third_party/jni:jni_headers_only", + "@bazel_tools//tools/jdk:jni", ], ) diff --git a/examples/src/main/native/com_example_ExampleFuzzerWithNative.h b/examples/src/main/native/com_example_ExampleFuzzerWithNative.h index 2a7b2bed..0349cfc4 100644 --- a/examples/src/main/native/com_example_ExampleFuzzerWithNative.h +++ b/examples/src/main/native/com_example_ExampleFuzzerWithNative.h @@ -15,7 +15,7 @@ */ /* DO NOT EDIT THIS FILE - it is machine generated */ -#include "third_party/jni/jni.h" +#include <jni.h> /* Header for class com_example_ExampleFuzzerWithNative */ #ifndef _Included_com_example_ExampleFuzzerWithNative |