diff options
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index f04cf5e..adb2c16 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -27,7 +27,7 @@ pipeline { printenv | sort cat /etc/os-release /usr/local/bin/configure-mirror - gendiff /etc/yum.repos.d .dist + gendiff /etc/yum.repos.d .dist || true ''' } } |