X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=mclu.ml;h=2b34dac0577c60be05bc2735ef76956f06d25f13;hb=925be79f3065e383cbc532ebd637652999a9671e;hp=65e7e7b19aea3a5143b893f748fd07f81a864e36;hpb=b29a837444aa5827b683bee5a7457fbb32305ae5;p=mclu.git diff --git a/mclu.ml b/mclu.ml index 65e7e7b..2b34dac 100644 --- a/mclu.ml +++ b/mclu.ml @@ -52,6 +52,9 @@ let anon_fun, get_anon_args = | "boot" -> speclist := Mclu_boot.get_arg_speclist (); subcommand_run := Mclu_boot.run + | "console" -> + speclist := Mclu_console.get_arg_speclist (); + subcommand_run := Mclu_console.run | "list" -> speclist := Mclu_list.get_arg_speclist (); subcommand_run := Mclu_list.run