commit 9ab43e67dbcec8e5c9a1e28007a14d97655a8079
author Davide Pesavento <davidepesa@gmail.com> Sun Dec 27 20:07:25 2020 -0500
committer Davide Pesavento <davidepesa@gmail.com> Sun Dec 27 20:50:22 2020 -0500
tree f1833a8e911e73947b5337a61a09aedaa4d9fa4e
parent cabd980030f9b0130983eb3d644495a99a39d3b5

ci+docs: CentOS renamed the PowerTools repo to lowercase

Change-Id: I4b78986f3af17d2124824992e31b408ebe8de03a

.jenkins.d/00-deps.sh

diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh
index 67ac9ae..0e81bf9 100755
--- a/.jenkins.d/00-deps.sh
+++ b/.jenkins.d/00-deps.sh
@@ -34,7 +34,7 @@
     fi
 
 elif has CentOS-8 $NODE_LABELS; then
-    sudo dnf config-manager --enable PowerTools
+    sudo dnf config-manager --enable powertools
     sudo dnf -y install gcc-c++ libasan pkgconf-pkg-config python3 \
                         boost-devel openssl-devel sqlite-devel \
                         libpcap-devel systemd-devel