From c35d0d1e4901fcecff11dd136b3a1fd4ada8e5a7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 2 Jul 2022 13:05:35 -0700 Subject: [PATCH] Update update_api.py add automation! --- scripts/update_api.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/update_api.py b/scripts/update_api.py index f5d935514..67d6fcb67 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -689,6 +689,7 @@ def mk_java(java_src, java_dir, package_name): java_native.write('}\n') java_wrapper = open(java_wrapperf, 'w') pkg_str = package_name.replace('.', '_') + java_wrapperf.write("// Automatically generated file\n") with open(java_src + "/NativeStatic.txt") as ins: for line in ins: java_wrapper.write(line)