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([