diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2008-09-10 15:03:33 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2008-09-10 15:03:33 +0000 |
commit | adfab743f55d3301cba73b6ace1361407529b1a8 (patch) | |
tree | adaa6b6e141580f5ce81c3892bdc7144d3ed1b1b /driver | |
parent | 83e8c0588aefe7288b95e97b60864bffd4dd0d4c (diff) | |
download | ocaml-adfab743f55d3301cba73b6ace1361407529b1a8.tar.gz |
PR#4607 reject invalid source file names
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9016 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
-rw-r--r-- | driver/optcompile.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml index e7688acf7e..31ef4e1874 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -48,6 +48,7 @@ let initial_env () = (* Compile a .mli file *) let interface ppf sourcefile outputprefix = + Location.input_name := sourcefile; init_path (); let modulename = String.capitalize(Filename.basename(chop_extension_if_any sourcefile)) in @@ -81,6 +82,7 @@ let (++) x f = f x let (+++) (x, y) f = (x, f y) let implementation ppf sourcefile outputprefix = + Location.input_name := sourcefile; init_path (); let modulename = String.capitalize(Filename.basename(chop_extension_if_any sourcefile)) in |