From 5ccd5339343c9f55738741c3dee669c8375cab4f Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 12 Dec 2019 17:25:39 +0000
Subject: Fix a little bit of inconsistency in the command line arguments

---
 src/sail.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src')

diff --git a/src/sail.ml b/src/sail.ml
index 85e36ce5..42904e80 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -107,6 +107,9 @@ let options = Arg.align ([
     Arg.Tuple [set_target "ocaml"; Arg.Set Initial_check.opt_undefined_gen],
     " output an OCaml translated version of the input");
   ( "-ocaml-nobuild",
+    Arg.Set Ocaml_backend.opt_ocaml_nobuild,
+    "");
+  ( "-ocaml_nobuild",
     Arg.Set Ocaml_backend.opt_ocaml_nobuild,
     " do not build generated OCaml");
   ( "-ocaml_trace",
@@ -116,6 +119,9 @@ let options = Arg.align ([
     Arg.String (fun dir -> Ocaml_backend.opt_ocaml_build_dir := dir),
     " set a custom directory to build generated OCaml");
   ( "-ocaml-coverage",
+    Arg.Set Ocaml_backend.opt_ocaml_coverage,
+    "");
+  ( "-ocaml_coverage",
     Arg.Set Ocaml_backend.opt_ocaml_coverage,
     " build OCaml with bisect_ppx coverage reporting (requires opam packages bisect_ppx-ocamlbuild and bisect_ppx).");
   ( "-ocaml_generators",
-- 
cgit v1.2.3