From de5aaf1d13772e2859104ac0a03c0a0351859417 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= Date: Wed, 14 Dec 2022 16:13:38 +0100 Subject: 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. --- misc/scripts/compare_extension_api.py | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100755 misc/scripts/compare_extension_api.py (limited to 'misc') 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) -- cgit v1.2.3