From a11b7fdcbea034f3c5c3432a8d6ec4c145c45a7d Mon Sep 17 00:00:00 2001
From: Martin Pitt <martin@piware.de>
Date: Thu, 2 Apr 2020 22:16:59 +0200
Subject: [PATCH] build-devtoolbox: rcm-tools is available for all current
 Fedoras now

---
 build-devtoolbox | 2 --
 1 file changed, 2 deletions(-)

diff --git a/build-devtoolbox b/build-devtoolbox
index de82ed0..af29ec5 100755
--- a/build-devtoolbox
+++ b/build-devtoolbox
@@ -30,8 +30,6 @@ rpm2cpio ~martin/Dokumente/Arbeit/RedHat/redhat-internal-cert-install-0.1-7.el7.
 sudo update-ca-trust
 
 (cd /etc/yum.repos.d; sudo curl -O --location https://download.devel.redhat.com/rel-eng/RCMTOOLS/rcm-tools-fedora.repo)
-# HACK: no rcm-tools for F31 yet
-sudo sed -i "s/\$releasever/30/" /etc/yum.repos.d/rcm-tools-fedora.repo
 
 sudo dnf builddep -y cockpit
 sudo dnf install -y make npm fontconfig git valgrind chromium \
-- 
2.39.5