From eeac1d20d658bc7508eda18afc4a51c8b859559a Mon Sep 17 00:00:00 2001 From: Gregor Lohaus Date: Fri, 29 May 2026 09:16:10 +0200 Subject: [PATCH] fix reachability metadata drift --- .gitignore | 1 + .../jlibghostty/reachability-metadata.json | 17 +++++++++++++++++ 2 files changed, 18 insertions(+) diff --git a/.gitignore b/.gitignore index 654eba4..eb48096 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,4 @@ result-* *.class *.jar .devenv +BUG.md diff --git a/src/main/resources/META-INF/native-image/dev.jlibghostty/jlibghostty/reachability-metadata.json b/src/main/resources/META-INF/native-image/dev.jlibghostty/jlibghostty/reachability-metadata.json index 5d2f731..94f8c6b 100644 --- a/src/main/resources/META-INF/native-image/dev.jlibghostty/jlibghostty/reachability-metadata.json +++ b/src/main/resources/META-INF/native-image/dev.jlibghostty/jlibghostty/reachability-metadata.json @@ -213,6 +213,23 @@ "int", "void*" ] + }, + { + "returnType": "void", + "parameterTypes": [ + "void*", + "void*" + ] + }, + { + "returnType": "int", + "parameterTypes": [ + "void*", + "void*", + "void*", + "size_t", + "void*" + ] } ] }