diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2021-10-21 13:19:03 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-21 13:19:03 +0200 |
commit | 9c9ec63e1dbd33cace4a988783f1130b4c3f06ad (patch) | |
tree | bdb0745c7d85db72bce4566f25bbccb3a9e70ef3 /misc/scripts/compare_extension_api.py | |
parent | 8688b97dda57bec8083870a2e2c4c7ca9a021f46 (diff) | |
parent | daff03576dc83b913a34d73298624192c7f28554 (diff) | |
download | redot-engine-9c9ec63e1dbd33cace4a988783f1130b4c3f06ad.tar.gz |
Merge pull request #54015 from BastiaanOlij/godot-cpp-ci
Diffstat (limited to 'misc/scripts/compare_extension_api.py')
-rwxr-xr-x | misc/scripts/compare_extension_api.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/misc/scripts/compare_extension_api.py b/misc/scripts/compare_extension_api.py new file mode 100755 index 0000000000..f96db4278c --- /dev/null +++ b/misc/scripts/compare_extension_api.py @@ -0,0 +1,11 @@ +#!/usr/bin/env python +# -*- coding: utf-8 -*- + +import sys + +# TODO: +# Add a process that compares the original godot-cpp/godot-headers/extension_api.json with the new extension_api.json (both passed as arguments) and reports any API calls that have been removed. +# If we only have additions or no changes to the file, we pass +# For now we deem this too early because the API isn't stable enough yet. + +sys.exit(0) |