From 7c430d722a659f2ef735a6746e6a4ff7d6cc4e7c Mon Sep 17 00:00:00 2001 From: Gerd Hoffmann Date: Thu, 20 Aug 2020 08:22:32 +0200 Subject: diff repos --- Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Jenkinsfile b/Jenkinsfile index 6f4b83f..c423f1d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -25,6 +25,7 @@ pipeline { printenv | sort cat /etc/os-release /usr/local/bin/configure-mirror + gendiff /etc/yum.repos.d .dist ''' } } -- cgit