diff options
Diffstat (limited to 'bin/qsp_parser.ml')
| -rw-r--r-- | bin/qsp_parser.ml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml index fb0c1c8..32e7a2f 100644 --- a/bin/qsp_parser.ml +++ b/bin/qsp_parser.ml @@ -21,6 +21,12 @@ module Args = struct let speclist = [ + ( "--version", + Arg.Unit + (fun () -> + Printf.printf "Version %s\n" Tools.Git_hash.revision; + exit 0), + "Display the version of the application and exit" ); ("--level", Arg.String level, "Message level [debug, warn, error]"); ( "--global", Arg.Set reset_line, @@ -64,12 +70,12 @@ let parse_location : Qparser.Lexbuf.t -> filters -> unit = | [] -> () | _ -> let start_position, _ = Qparser.Lexbuf.positions lexbuf in - Format.fprintf Format.std_formatter "Location %s@;@[%a@]@." + Format.fprintf Format.std_formatter "Location@ %s@;@[%a@]@." start_position.Lexing.pos_fname pp_result report; ()) | Error e -> let start_position, _ = Qparser.Lexbuf.positions lexbuf in - Format.fprintf Format.std_formatter "Location %s@;@[%a]@." + Format.fprintf Format.std_formatter "Location@ %s@;@[%a]@." start_position.Lexing.pos_fname Report.pp e let () = |