From 078f652c82c4aae7cf4f661f6e676608ee4889b1 Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Mon, 7 Jan 2013 11:21:07 +0100 Subject: [PATCH] Change --cores to --jobs to be more consistent --- src/client/opamMain.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/client/opamMain.ml b/src/client/opamMain.ml index 4d2ba95fdee..0734dc32d3a 100644 --- a/src/client/opamMain.ml +++ b/src/client/opamMain.ml @@ -289,7 +289,7 @@ let init = `P "Additional repositories can be added later by using the $(b,opam repository) command."; `P "The local cache of a repository state can be updated by using $(b,opam update)."; ] in - let cores = mk_opt ["j";"cores"] "CORES" "Number of process to use when building packages." Arg.int 1 in + let cores = mk_opt ["j";"jobs"] "JOBS" "Number of jobs to use when building packages." Arg.int 1 in let compiler = mk_opt ["c";"comp"] "VERSION" "Which compiler version to use." compiler OpamCompiler.default in let repo_name =