From 0ce28d751c6c49068288547cd084d4c81f0d5b20 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 18 Mar 2014 19:00:40 +0100
Subject: Printing backtraces in coqchk while in debug mode.

---
 checker/checker.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/checker/checker.ml b/checker/checker.ml
index 1bdd0f0e20..abf3704b42 100644
--- a/checker/checker.ml
+++ b/checker/checker.ml
@@ -358,6 +358,7 @@ let init_with_argv argv =
     Sys.catch_break false; (* Ctrl-C is fatal during the initialisation *)
     try
       parse_args argv;
+      if !Flags.debug then Printexc.record_backtrace true;
       Envars.set_coqlib ~fail:Errors.error;
       if_verbose print_header ();
       init_load_path ();
@@ -373,6 +374,7 @@ let run () =
     compile_files ();
     flush_all()
   with e ->
+    if !Flags.debug then Printexc.print_backtrace stderr;
     fatal_error (explain_exn e)
 
 let start () = init(); run(); Check_stat.stats(); exit 0
-- 
cgit v1.2.3