diff --git a/Jenkinsfile b/Jenkinsfile
index e2e9089bff7bcf2cfa38691a6a5623119e3f2eda..f548d35a8a1daa8f9b84ba4c6160e8dea4dbedf7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -46,6 +46,7 @@ pipeline {
        steps {
           sh '${BASE_DIR}/run-benchmark.sh ${KEYSTORE} ${UPDATE_SITE_URL}'
           sh 'echo before'
+          sh 'echo ${KEYSTORE}'
           script {
              def remote = [name: 'repo.se.internal', host: 'repo.se.internal', user: 'repo', identityFile: ${KEYSTORE}, allowAnyHosts: true]
              sshGet remote: remote, from: 'all-results.json', into: '${BASE_DIR}'