From 0126b64d16df79952c368f0243357a99f1daff66 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 16 Jul 2019 02:24:59 -0700 Subject: [PATCH] [sledge] Explicate output flag of disassemble command Summary: This one was overlooked before Reviewed By: kren1 Differential Revision: D16269729 fbshipit-source-id: 0aa86ca9a --- sledge/sledge-help.txt | 14 +++++++------- sledge/src/sledge.ml | 6 +++--- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/sledge/sledge-help.txt b/sledge/sledge-help.txt index a8df5a6e1..556263afc 100644 --- a/sledge/sledge-help.txt +++ b/sledge/sledge-help.txt @@ -185,13 +185,13 @@ The file must be LLAIR code, as produced by `sledge llvm translate`. === flags === - [-colors] enable printing in colors - [-llair ] write generated textual LLAIR to , or to standard - output if omitted - [-margin ] wrap debug tracing at columns - [-trace ] enable debug tracing - [-help] print this help text and exit - (alias: -?) + [-colors] enable printing in colors + [-llair-txt-output ] write generated textual LLAIR to , or to + standard output if omitted + [-margin ] wrap debug tracing at columns + [-trace ] enable debug tracing + [-help] print this help text and exit + (alias: -?) ====== sledge version ====== diff --git a/sledge/src/sledge.ml b/sledge/src/sledge.ml index f381b1bed..59cde5860 100644 --- a/sledge/src/sledge.ml +++ b/sledge/src/sledge.ml @@ -153,15 +153,15 @@ let disassemble_cmd = in let param = let%map_open input = anon ("" %: string) - and llair = - flag "llair" (optional string) + and llair_txt_output = + flag "llair-txt-output" (optional string) ~doc: " write generated textual LLAIR to , or to standard \ output if omitted" in fun () -> let program = unmarshal input () in - match llair with + match llair_txt_output with | None -> Format.printf "%a@." Llair.pp program | Some file -> Out_channel.with_file file ~f:(fun oc ->