Skip to content

Commit 01b946d

Browse files
MM45strub
authored andcommitted
Exit --help with non-error status
1 parent 48a21c3 commit 01b946d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/ecOptions.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -619,7 +619,7 @@ let parse_cmdline ?ini argv =
619619
parse (Option.value ~default:(fun _ -> []) ini) argv
620620
with
621621
| Arg.Bad msg -> print_usage ~msg specs; exit 1
622-
| Arg.Help _ -> print_usage specs; exit 1
622+
| Arg.Help _ -> print_usage specs; exit 0
623623

624624
(* -------------------------------------------------------------------- *)
625625
exception InvalidIniFile of (int * string)

0 commit comments

Comments
 (0)