diff options
Diffstat (limited to 'ocamlbuild/main.ml')
| -rw-r--r-- | ocamlbuild/main.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ocamlbuild/main.ml b/ocamlbuild/main.ml index cd6ce1c84..501411c47 100644 --- a/ocamlbuild/main.ml +++ b/ocamlbuild/main.ml @@ -60,7 +60,6 @@ let proceed () = Options.init (); if !Options.must_clean then clean (); Hooks.call_hook Hooks.After_options; - Tools.default_tags := Tags.of_list !Options.tags; Plugin.execute_plugin_if_needed (); if !Options.targets = [] @@ -83,6 +82,8 @@ let proceed () = <**/*.cmx>: ocaml, native "; + Configuration.tag_any !Options.tags; + let newpwd = Sys.getcwd () in Sys.chdir Pathname.pwd; let entry_include_dirs = ref [] in |