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)); }