Skip to content

Commit

Permalink
Always record and print backtraces from the driver
Browse files Browse the repository at this point in the history
  • Loading branch information
avsm committed Dec 23, 2013
1 parent 908d26e commit 5ce7f34
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions src/opam-doc-index/driver.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
open Index
open Generate

let () = Printexc.record_backtrace true;;

let create_package_directory () =
let package_name = Opam_doc_config.current_package () in
if not Sys.(file_exists package_name && is_directory package_name) then
Expand Down Expand Up @@ -108,6 +110,7 @@ let process_file global cmd cmt =
with exn ->
Printf.eprintf "Error while processing module %s: \"%s\"\n"
module_name (Printexc.to_string exn);
Printexc.print_backtrace stderr;
None


Expand Down

0 comments on commit 5ce7f34

Please sign in to comment.