Просмотр исходного кода

Use covertool as a project_plugin, rather than plugin

This was resulting in `covertool` being pulled-in as a dependency needlessly in downstream projects in some situations.

Using it as a `project_plugin` is advised by `covertool` [itself](https://github.com/covertool/covertool#rebar3).

More on plugins vs project plugins: https://rebar3.readme.io/docs/using-available-plugins
Michał Muskała 3 лет назад
Родитель
Сommit
37b0eb4182
1 измененных файлов с 1 добавлено и 1 удалено
  1. 1 1
      rebar.config

+ 1 - 1
rebar.config

@@ -53,6 +53,6 @@
   {test,
    [
     {erl_opts, [debug_info]},
-    {plugins, [covertool]}
+    {project_plugins, [covertool]}
    ]}
  ]}.