From 24172ca0e014454a7a6f3f1a12104175f9ff7c71 Mon Sep 17 00:00:00 2001 From: Lorenz Kästle <12514511+RincewindsHat@users.noreply.github.com> Date: Wed, 19 Feb 2025 11:49:43 +0100 Subject: Exit with 0 in JSON-format if everything else works --- lib/output.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/lib/output.c b/lib/output.c index 9ba049e2..2c40bc7f 100644 --- a/lib/output.c +++ b/lib/output.c @@ -413,6 +413,10 @@ void mp_print_output(mp_check check) { puts(mp_fmt_output(check)); } */ void mp_exit(mp_check check) { mp_print_output(check); + if (check.format == MP_FORMAT_TEST_JSON) { + exit(0); + } + exit(mp_compute_check_state(check)); } -- cgit v1.2.3-74-g34f1