[rpms/erlang-proper] rawhide: We now have covertool

[rpms/erlang-proper] rawhide: We now have covertool

[Peter Lemenkov]

            A new commit has been pushed.

            Repo   : rpms/erlang-proper
            Branch : rawhide
            Commit : 7af62bf3166f35fae20c99cf9725beaeea3cfc79
            Author : Peter Lemenkov <lemenkov@gmail.com>
            Date   : 2026-07-30T19:01:02+02:00
            Stats  : +1/-1 in 1 file(s)
            URL    : https://src.fedoraproject.org/rpms/erlang-proper/c/7af62bf3166f35fae20c99cf9725beaeea3cfc79?branch=rawhide

            Log:
            We now have covertool

Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>

---
diff --git a/erlang-proper.spec b/erlang-proper.spec
index 4a15e4b..1bcd1fd 100644
--- a/erlang-proper.spec
+++ b/erlang-proper.spec
@@ -9,6 +9,7 @@ Summary:    A QuickCheck-inspired property-based testing tool for Erlang
 URL:        https://github.com/proper-testing/%{realname}
 VCS:        git:%{url}.git
 Source0:    %{url}/archive/v%{version}/%{realname}-%{version}.tar.gz
+BuildRequires: erlang-covertool
 BuildRequires: erlang-rebar3
 
 %description
@@ -17,7 +18,6 @@ open-source property-based testing tool for Erlang.
 
 %prep
 %autosetup -p1 -n %{realname}-%{version}
-sed -i -e "/covertool/d" ./rebar.config
 
 %build
 # The docs need to be built first: https://github.com/proper-testing/proper/issues/179