From b024aa981ddc3411d9b9d22e169a9d9a924f7124 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 19 Jun 2019 14:35:18 +0100
Subject: Make default ocaml main exit with non-zero exit code in case of
 uncaught exception. This is ensures test failures are detected.

---
 src/ocaml_backend.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml
index 28ce43d3..618de5e6 100644
--- a/src/ocaml_backend.ml
+++ b/src/ocaml_backend.ml
@@ -965,7 +965,7 @@ let ocaml_main spec sail_dir =
    @ [ "  zinitializze_registers ();";
        if !opt_trace_ocaml then "  Sail_lib.opt_trace := true;" else "  ();";
        "  Printexc.record_backtrace true;";
-       "  try zmain () with exn -> prerr_endline(\"Exiting due to uncaught exception:\\n\" ^ Printexc.to_string exn)\n";])
+       "  try zmain () with exn -> (prerr_endline(\"Exiting due to uncaught exception:\\n\" ^ Printexc.to_string exn); exit 1)\n";])
   |> String.concat "\n"
 
 let ocaml_pp_defs f defs generator_types =
-- 
cgit v1.2.3