Exit with 0 in JSON-format if everything else works

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