diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 1 |
1 files changed, 1 insertions, 0 deletions
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 ''' } } |