From bcb8c2af64832284a898a1bb0bba29ca0b5574bd Mon Sep 17 00:00:00 2001
From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 5 Dec 2024 16:07:50 +0000
Subject: [PATCH] jenkins: Add principal name with kinit

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index dd390034d..ff6fca216 100644
--- 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
-- 
2.39.5