134
134
Arg.parse args_spec (fun file -> files := file :: !files) usage;
135
135
Plugin.class_path := (base_path ^ "std/") :: !Plugin.class_path;
140
138
Parser.warning := (fun msg pos -> report ~do_exit:false (msg,pos) "Warning" (fun msg -> msg));
141
139
if !files = [] then begin
142
140
Arg.usage args_spec usage