X-Git-Url: https://piware.de/gitweb/?p=bin.git;a=blobdiff_plain;f=build-devtoolbox;h=9073c36326cffbec906a7a4f65966f39ed3b3573;hp=a2f8c2f891d029e4e021786fa5f9137c19656e78;hb=d7d60dbdc71d81181ec0206ce475d5bb3cdd9b99;hpb=2c371586d935a3d583f5598d56b3f293fe93a016

diff --git a/build-devtoolbox b/build-devtoolbox
index a2f8c2f..9073c36 100755
--- a/build-devtoolbox
+++ b/build-devtoolbox
@@ -24,6 +24,8 @@ 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-headless \