summaryrefslogtreecommitdiff
path: root/misc
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2022-12-14 16:13:38 +0100
committerRémi Verschelde <rverschelde@gmail.com>2022-12-14 16:42:14 +0100
commitde5aaf1d13772e2859104ac0a03c0a0351859417 (patch)
treea3dd96c854a48fad23e00a0c88e78b24f494cdf0 /misc
parenteba33c67b49905973ee7c81a709046415a41e205 (diff)
CI: Fix dumping GDExtension interface and API for godot-cpp
Follow-up to https://github.com/godotengine/godot-cpp/pull/960. Fix exit code for --dump-extension-api and --dump-gdextension-interface. Removed the planned API validation step as we still didn't implement anything, and maintaining a stub isn't useful.
Diffstat (limited to 'misc')
-rwxr-xr-xmisc/scripts/compare_extension_api.py11
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)