debugging

Jenkinsfile

@@ -46,10 +46,9 @@ 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}'
+             sshGet remote: remote, from: 'all-results.json', into: '.'
           }
           sh 'echo after'
           sh '${BASE_DIR}/compile-results/bin/compile-results "${BASE_DIR}/results-kieker/results-text.csv" "${BASE_DIR}/all-results.json"'

frameworks/Kieker/scripts/run-benchmark.sh

@@ -61,4 +61,6 @@ ${BENCHMARK} # > /dev/null 2>&1
 HEAD=`head -1 $RESULT_FILE`
 VALUE=`tail -1 $RESULT_FILE`
 
+echo ${KEYSTORE}
+
 # end