From d6e7d3b02543cf9a2bd47a957fdd1829d8f4ad64 Mon Sep 17 00:00:00 2001
From: Juan Ferrer Toribio <juan@verdnatura.es>
Date: Fri, 5 Jul 2024 10:34:27 +0200
Subject: [PATCH] ci: refs #7643 Reprepro fixes

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 80c212ed..4c723a1f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,6 +5,7 @@ def BRANCH_ENV = [
     master: 'production'
 ]
 def remote = [:]
+def debFile
 
 node {
     stage('Setup') {
@@ -59,7 +60,7 @@ pipeline {
                     remote.identityFile = '/home/jenkins/.ssh/id_ed25519'
                     remote.allowAnyHosts = true
 
-                    def debFile = sh(script: 'ls output/*.deb', returnStdout: true).trim()
+                    debFile = sh(script: 'ls output/*.deb', returnStdout: true).trim()
                 }
 
                 sshPut([