summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--lib/output.c4
1 files changed, 4 insertions, 0 deletions
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)); }
413 */ 413 */
414void mp_exit(mp_check check) { 414void mp_exit(mp_check check) {
415 mp_print_output(check); 415 mp_print_output(check);
416 if (check.format == MP_FORMAT_TEST_JSON) {
417 exit(0);
418 }
419
416 exit(mp_compute_check_state(check)); 420 exit(mp_compute_check_state(check));
417} 421}
418 422