jenkins: Try to fetch a fresh Kerberos ticket

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/Jenkinsfile b/Jenkinsfile
index eae24d898fac9d4be8142632c5d04ea07b216d1f..b299c1201e5ad0f1a08d094c19a9a57651417759 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -454,6 +454,9 @@ pipeline {
                                                // Upload everything again
                                                archiveArtifacts artifacts: "packages/debian/**/*"
 
+                                               // Fetch a Kerberos ticket
+                                               sh "kinit -kV"
+
                                                // XXX This needs to be published on a mirror server somewhere
                                        }
                                }