summaryrefslogtreecommitdiff
path: root/main
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 /main
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 'main')
-rw-r--r--main/main.cpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/main/main.cpp b/main/main.cpp
index 8fa0a78480..1a005583af 100644
--- a/main/main.cpp
+++ b/main/main.cpp
@@ -2594,6 +2594,7 @@ bool Main::start() {
}
if (dump_gdextension_interface || dump_extension_api) {
+ OS::get_singleton()->set_exit_code(EXIT_SUCCESS);
return false;
}