Displaying 1 result from an estimated 1 matches for "db8a298".
Did you mean:
d87298
2016 May 03
1
[PATCH] mllib: add "internal" to the description of --{short, long}-options
...--help
output: hence, mark --short-options and --long-options as internal
options, since we need them only for the bash completion scripts.
---
mllib/common_utils.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/mllib/common_utils.ml b/mllib/common_utils.ml
index 3d6eb94..db8a298 100644
--- a/mllib/common_utils.ml
+++ b/mllib/common_utils.ml
@@ -575,8 +575,8 @@ let set_standard_options argspec =
let set_debug_gc () =
at_exit (fun () -> Gc.compact()) in
let argspec = [
- "--short-options", Arg.Unit display_short_options, " " ^ s_"Lis...