From 6b6b09f38875bbe1810186ee12c68c8bbce1310c Mon Sep 17 00:00:00 2001
From: Gerd Hoffmann <kraxel@redhat.com>
Date: Thu, 20 Aug 2020 10:00:29 +0200
Subject: fix diff

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
                 '''
             }
         }
-- 
cgit