Update configurator to use Exn.raise_with_backtrace

This commit is contained in:
Rudi Grinberg 2018-04-06 22:27:47 +08:00
parent 52a3833e0e
commit c0c69b44db
1 changed files with 2 additions and 1 deletions

View File

@ -447,9 +447,10 @@ let main ?(args=[]) ~name f =
try
f t
with exn ->
let bt = Printexc.get_raw_backtrace () in
List.iter (List.rev !log_db) ~f:(eprintf "%s\n");
match exn with
| Fatal_error msg ->
eprintf "Error: %s\n%!" msg;
exit 1
| _ -> Exn.reraise exn
| _ -> Exn.raise_with_backtrace exn bt