Browse Source

Use covertool plugin instead of deprecated rebar_covertool

Takeru Ohta 6 years ago
parent
commit
9db23530b9
1 changed files with 1 additions and 3 deletions
  1. 1 3
      rebar.config

+ 1 - 3
rebar.config

@@ -52,8 +52,6 @@
    ]},
   {test,
    [
-    %% FIXME: Uncomment the below line when rebar_covertool-v1.3.0 is released
-    %% {plugins, [rebar_covertool]}
-    {plugins, [{rebar_covertool, {git, "https://github.com/covertool/covertool.git", {branch, "master"}}}]}
+    {plugins, [covertool]}
    ]}
  ]}.