From d8cdc572bc05b25e844fe43b03c029f75b5b4193 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Mon, 1 Jun 2015 15:08:01 +0100 Subject: [PATCH] When -debug is specified, print out the args, to help debug shell problems --- cpdfcommand.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cpdfcommand.ml b/cpdfcommand.ml index ed6bc7e..043da61 100644 --- a/cpdfcommand.ml +++ b/cpdfcommand.ml @@ -3667,6 +3667,8 @@ let go () = write_pdf false pdf let parse_argv () = + if args.debug then + Array.iter (Printf.eprintf "arg: %s\n") Sys.argv; Arg.parse_argv ~current:(ref 0) let align_specs s =