When -debug is specified, print out the args, to help debug shell problems

This commit is contained in:
John Whitington 2015-06-01 15:08:01 +01:00
parent a2bece3878
commit d8cdc572bc
1 changed files with 2 additions and 0 deletions

View File

@ -3667,6 +3667,8 @@ let go () =
write_pdf false pdf write_pdf false pdf
let parse_argv () = let parse_argv () =
if args.debug then
Array.iter (Printf.eprintf "arg: %s\n") Sys.argv;
Arg.parse_argv ~current:(ref 0) Arg.parse_argv ~current:(ref 0)
let align_specs s = let align_specs s =