diff options
Diffstat (limited to 'tools/jvmti-agents/enable-vlog/enablevlog.cc')
| -rw-r--r-- | tools/jvmti-agents/enable-vlog/enablevlog.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/jvmti-agents/enable-vlog/enablevlog.cc b/tools/jvmti-agents/enable-vlog/enablevlog.cc index 7bee0132da..d42b0ff17e 100644 --- a/tools/jvmti-agents/enable-vlog/enablevlog.cc +++ b/tools/jvmti-agents/enable-vlog/enablevlog.cc @@ -89,7 +89,7 @@ static jint SetupJvmtiEnv(JavaVM* vm, jvmtiEnv** jvmti) { } // namespace -static jint AgentStart(JavaVM* vm, char* options, void* reserved ATTRIBUTE_UNUSED) { +static jint AgentStart(JavaVM* vm, char* options, [[maybe_unused]] void* reserved) { jvmtiEnv* jvmti = nullptr; if (SetupJvmtiEnv(vm, &jvmti) != JNI_OK) { LOG(ERROR) << "Could not get JVMTI env or ArtTiEnv!"; |