jenkins: Add principal name with kinit

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

diff --git a/Jenkinsfile b/Jenkinsfile
index dd390034d41b668b9fcccfd5de5cbdd644491ec1..ff6fca21673a01011871caa270ef5abc92731b41 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -496,7 +496,7 @@ pipeline {
 
                                                // Fetch a Kerberos ticket
                                                withCredentials([file(credentialsId: "jenkins.keytab", variable: "KEYTAB")]) {
-                                                       sh 'kinit -kV -t $KEYTAB'
+                                                       sh 'kinit -kV -t $KEYTAB jenkins@IPFIRE.ORG'
                                                }
 
                                                // Publish files