Rename compiler_configuration file

Renamed to ocaml_compiler_internal_params.
2016-01-21 15:12:53 +01:00 · 2016-01-21 15:12:53 +01:00 · ab2e736358
parent 2555c4e773
commit ab2e736358
1 changed files with 3 additions and 1 deletions
--- a/driver/compenv.ml
+++ b/driver/compenv.ml
@ -378,7 +378,9 @@ let matching_filename filename { pattern } =
    filename = pattern

 let apply_config_file ppf position =
-  let config_file = Filename.concat Config.standard_library "compiler_configuration" in
+  let config_file =
+    Filename.concat Config.standard_library "ocaml_compiler_internal_params"
+  in
  let config =
    if Sys.file_exists config_file then
      load_config ppf config_file