Project

General

Profile

Revision 61df3cb9 src/options_management.ml

View differences:

src/options_management.ml
137 137
    "-no-mutation-suffix", Arg.Set no_mutation_suffix, "does not rename node with the _mutant suffix"
138 138
  ]
139 139

  
140
let plugin_opt (name, activate, options) =
140
let plugin_opt (name, activate, usage, options) =
141
  let usage () =
142
    Format.printf "@[<v 2>Plugin %s:@ %t@]@." name usage;
143
    exit 0
144
  in
141 145
  ( "-" ^ name , Arg.Unit activate, "activate plugin " ^ name ) ::
146
  ( "-" ^ name ^ "-help" , Arg.Unit usage, "plugin " ^ name ^ " help") ::
142 147
    (List.map (fun (opt, act, desc) -> "-" ^ name ^ opt, act, desc) options)
143 148
 
144 149

  

Also available in: Unified diff