diff options
| author | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2015-11-26 14:38:01 +0100 |
|---|---|---|
| committer | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2015-12-18 13:35:44 +0000 |
| commit | 0443e425e4bfefdebc1842c1b138af7cf1352b5f (patch) | |
| tree | ef55b364901502452c0d8a3615393015a5a36c2c /driver/optcompile.ml | |
| parent | 0b0ae83ff31e98412706a136c3cb1e7b1e66e20b (diff) | |
| download | ocaml-0443e425e4bfefdebc1842c1b138af7cf1352b5f.tar.gz | |
Record the source file name being built in Compilenv
Diffstat (limited to 'driver/optcompile.ml')
| -rw-r--r-- | driver/optcompile.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 9ff6afbfc3..29ee16f754 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -63,7 +63,8 @@ let implementation ppf sourcefile outputprefix = let modulename = module_of_filename ppf sourcefile outputprefix in Env.set_unit_name modulename; let env = Compmisc.initial_env() in - Compilenv.reset ?packname:!Clflags.for_package modulename; + Compilenv.reset ~sourcefile:(Timings.File sourcefile) + ?packname:!Clflags.for_package modulename; let cmxfile = outputprefix ^ ".cmx" in let objfile = outputprefix ^ ext_obj in let comp ast = |