From 27ab92fda44599d3e40f1d2863d9c0c7654456d9 Mon Sep 17 00:00:00 2001 From: MM45 Date: Tue, 16 Sep 2025 10:18:16 +0200 Subject: [PATCH] Exit --help with non-error status --- src/ecOptions.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ecOptions.ml b/src/ecOptions.ml index 4056d0205b..b3704e1a1a 100644 --- a/src/ecOptions.ml +++ b/src/ecOptions.ml @@ -619,7 +619,7 @@ let parse_cmdline ?ini argv = parse (Option.value ~default:(fun _ -> []) ini) argv with | Arg.Bad msg -> print_usage ~msg specs; exit 1 - | Arg.Help _ -> print_usage specs; exit 1 + | Arg.Help _ -> print_usage specs; exit 0 (* -------------------------------------------------------------------- *) exception InvalidIniFile of (int * string)