diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2020-08-20 10:00:29 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2020-08-20 10:00:29 +0200 |
| commit | 6b6b09f38875bbe1810186ee12c68c8bbce1310c (patch) | |
| tree | 19876c8507f6952dccd427b4115f8e054c28eb9b | |
| parent | 3c1a33112401474dee9343e75dd2f2ead7dcac00 (diff) | |
| download | jenkinsfiles-6b6b09f38875bbe1810186ee12c68c8bbce1310c.tar.gz | |
fix diff
| -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 ''' } } |