diff options
| -rw-r--r-- | driver/compile.ml | 4 | ||||
| -rw-r--r-- | driver/optcompile.ml | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index bc9201e26..40a30ad74 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -24,7 +24,7 @@ open Compenv let interface ppf sourcefile outputprefix = Compmisc.init_path false; let modulename = - String.capitalize(Filename.basename(chop_extension_if_any sourcefile)) in + String.capitalize(Filename.basename(chop_extension_if_any outputprefix)) in check_unit_name ppf sourcefile modulename; Env.set_unit_name modulename; let initial_env = Compmisc.initial_env () in @@ -58,7 +58,7 @@ let (++) x f = f x let implementation ppf sourcefile outputprefix = Compmisc.init_path false; let modulename = - String.capitalize(Filename.basename(chop_extension_if_any sourcefile)) in + String.capitalize(Filename.basename(chop_extension_if_any outputprefix)) in check_unit_name ppf sourcefile modulename; Env.set_unit_name modulename; let env = Compmisc.initial_env() in diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 625c0223e..008f34521 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -25,7 +25,7 @@ open Compenv let interface ppf sourcefile outputprefix = Compmisc.init_path false; let modulename = - String.capitalize(Filename.basename(chop_extension_if_any sourcefile)) in + String.capitalize(Filename.basename(chop_extension_if_any outputprefix)) in check_unit_name ppf sourcefile modulename; Env.set_unit_name modulename; let initial_env = Compmisc.initial_env () in @@ -60,7 +60,7 @@ let (+++) (x, y) f = (x, f y) let implementation ppf sourcefile outputprefix = Compmisc.init_path true; let modulename = - String.capitalize(Filename.basename(chop_extension_if_any sourcefile)) in + String.capitalize(Filename.basename(chop_extension_if_any outputprefix)) in check_unit_name ppf sourcefile modulename; Env.set_unit_name modulename; let env = Compmisc.initial_env() in |