diff options
Diffstat (limited to 'ocamlbuild/plugin.ml')
| -rw-r--r-- | ocamlbuild/plugin.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ocamlbuild/plugin.ml b/ocamlbuild/plugin.ml index 6e533bb902..eb831e7223 100644 --- a/ocamlbuild/plugin.ml +++ b/ocamlbuild/plugin.ml @@ -248,6 +248,9 @@ module Make(U:sig end) = let rc = sys_command (Command.string_of_command_spec spec) in raise (Exit_silently_with_code rc); end + else if not (sys_file_exists plugin_file) && !Options.plugin_tags <> [] then + eprintf "Warning: option -plugin-tag(s) has no effect \ + in absence of plugin file %S" plugin_file else () end |