diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-12-14 17:05:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-14 17:05:40 +0100 |
| commit | c22876e61c67614687e7f6dc79f98424d6df45a3 (patch) | |
| tree | a3dd96c854a48fad23e00a0c88e78b24f494cdf0 /misc/scripts | |
| parent | eba33c67b49905973ee7c81a709046415a41e205 (diff) | |
| parent | de5aaf1d13772e2859104ac0a03c0a0351859417 (diff) | |
Merge pull request #70061 from akien-mga/ci-godot-cpp-handle-pr960
CI: Fix dumping GDExtension interface and API for godot-cpp
Diffstat (limited to 'misc/scripts')
| -rwxr-xr-x | misc/scripts/compare_extension_api.py | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/misc/scripts/compare_extension_api.py b/misc/scripts/compare_extension_api.py deleted file mode 100755 index f96db4278c..0000000000 --- a/misc/scripts/compare_extension_api.py +++ /dev/null @@ -1,11 +0,0 @@ -#!/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) |