Merge pull request #11 from erlcloud/remove_covertool

Remove covertool from repo
erlcloud · Jul 20, 2018 · 5c0f5a7 · 5c0f5a7
2 parents e6077f7 + ccd3d7e
commit 5c0f5a7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/rebar.config b/rebar.config
@@ -26,11 +26,8 @@
             {test, [
                     {eunit_opts, [{report,{eunit_surefire,[{dir,"."}]}}]}
                    ,{cover_enabled, true}
-                   ,{plugins, [rebar_covertool]}
-                   ,{covertool_eunit, ".eunit/eunit.coverage.xml"}
                    ,{deps, [
-                            {proper, {git, "https://github.com/manopapad/proper.git", {ref, "v1.2"}}},
-                            {covertool, {git, "https://github.com/idubrov/covertool.git", {branch, "master"}}}
+                            {proper, {git, "https://github.com/manopapad/proper.git", {ref, "v1.2"}}}
                            ]}
                    ]}
            ]}.
diff --git a/rebar.config.script b/rebar.config.script
@@ -12,8 +12,7 @@ case erlang:function_exported(rebar3, main, 1) of
 
         %% whenever adding a new Hex package dependency, this fun should be
         %% updated
-        HexToRepo = fun(proper) -> "https://github.com/manopapad/proper.git";
-                       (covertool) -> "https://github.com/idubrov/covertool.git"
+        HexToRepo = fun(proper) -> "https://github.com/manopapad/proper.git"
                     end,
 
         ConvertDep =