diff --git a/common b/common index 0dba002c2..54869c987 160000 --- a/common +++ b/common @@ -1 +1 @@ -Subproject commit 0dba002c20b1ff4046f45fc51528ee199a20706c +Subproject commit 54869c9875318db5e7b7c07be1b17931fbc17895 diff --git a/generator/customize.ml b/generator/customize.ml index e64b45c0d..e2c4b6051 100644 --- a/generator/customize.ml +++ b/generator/customize.ml @@ -775,7 +775,7 @@ let rec argspec () = let len = String.length arg in String.sub arg 0 i, String.sub arg (i+1) (len-(i+1)) and split_string_triplet option_name arg = - match String.nsplit ~max:3 \",\" arg with + match String.nsplit ~max:3 \":\" arg with | [a; b; c] -> a, b, c | _ -> error (f_\"invalid format for '--%%s' parameter, see the man page\")