search for: 58193ab

Displaying 1 result from an estimated 1 matches for "58193ab".

Did you mean: 581933
2015 Aug 31
2
[PATCH 1/2] mllib: add and use set_standard_options
...(String.lowercase arg2) - in - List.sort cmp argspec in - let argspec = Arg.align argspec in - long_options := argspec; + let argspec = set_standard_options argspec in Arg.parse argspec append_element usage_msg; diff --git a/get-kernel/get_kernel.ml b/get-kernel/get_kernel.ml index 58193ab..8ca7ca0 100644 --- a/get-kernel/get_kernel.ml +++ b/get-kernel/get_kernel.ml @@ -53,7 +53,7 @@ let main () = prefix := Some p in let ditto = " -\"-" in - let argspec = Arg.align [ + let argspec = [ "-a", Arg.String set_file, s_"...