commentaire
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
f7284c6ba3
commit
f2b2bf2f3d
|
@ -411,6 +411,7 @@ let process_intf_file filename = null_rewrite filename;;
|
|||
|
||||
let process_impl_file filename =
|
||||
let modname = Filename.basename(Filename.chop_extension filename) in
|
||||
(* FIXME should let modname = String.capitalize modname *)
|
||||
if !instr_mode then begin
|
||||
(* Instrumentation mode *)
|
||||
set_flags !modes;
|
||||
|
|
Loading…
Reference in New Issue