diff --git a/Jenkinsfile b/Jenkinsfile index f548d35a8a1daa8f9b84ba4c6160e8dea4dbedf7..1286c2f7d096dac7eb342db734c424ff586f67c1 100644 --- a/Jenkinsfile +++ b/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"' diff --git a/frameworks/Kieker/scripts/run-benchmark.sh b/frameworks/Kieker/scripts/run-benchmark.sh index a060d74d1a203c5f7b89ca4380f2a93a44610099..41674dcc2365258a5c48b6ba6b48ca33a093590a 100755 --- a/frameworks/Kieker/scripts/run-benchmark.sh +++ b/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