diff options
-rw-r--r-- | lib/output.c | 4 |
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 | */ |
414 | void mp_exit(mp_check check) { | 414 | void 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 | ||