diff --git a/Jenkinsfile b/Jenkinsfile
index 80ec6b04..dac8052b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -57,6 +57,7 @@ pipeline {
                     remote.identityFile = '/home/jenkins/.ssh/id_ed25519'
                     remote.allowAnyHosts = true
                 }
+                sh 'ls output'
                 sshPut([
                     remote: remote,
                     from: "$debFile",