Check that precision of extension_api.json matches build options

(cherry picked from commit 0a73df5f53)
2026-01-03 18:09:13 +03:00 · 2025-02-21 14:11:07 -06:00
parent 368ec63a24
commit 2d45d08722
3 changed files with 9 additions and 2 deletions
--- a/misc/scripts/check_get_file_list.py
+++ b/misc/scripts/check_get_file_list.py
@@ -19,6 +19,7 @@ def test(profile_filepath=""):
    api = generate_trimmed_api(api_filepath, profile_filepath)
    _generate_bindings(
        api,
+        api_filepath,
        use_template_get_node=False,
        bits=bits,
        precision=precision,