From 04bf7f0f7987c65c11a5699d0e29fb60c16e7107 Mon Sep 17 00:00:00 2001 From: Martin Pitt Date: Fri, 5 Jul 2024 05:42:54 +0200 Subject: [PATCH] install-rhel-tools: Drop coverity The COPR does not exist any more, and I haven't used this in a long time. --- install-rhel-tools | 4 ---- 1 file changed, 4 deletions(-) diff --git a/install-rhel-tools b/install-rhel-tools index 741e0cf..4fc6d7b 100755 --- a/install-rhel-tools +++ b/install-rhel-tools @@ -9,7 +9,3 @@ 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) sudo dnf install -y rhel-packager - -# coverity -sudo dnf copr enable -y copr.devel.redhat.com/kdudka/covscan -sudo dnf install -y covscan-client -- 2.39.5