From 0115771280963108b052e2f5fdf92e93ae5078f8 Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Sat, 28 Nov 2020 19:09:44 +0100
Subject: [PATCH] Minor mod.
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 1286c2f..08e2756 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -47,7 +47,7 @@ pipeline {
sh '${BASE_DIR}/run-benchmark.sh ${KEYSTORE} ${UPDATE_SITE_URL}'
sh 'echo before'
script {
- def remote = [name: 'repo.se.internal', host: 'repo.se.internal', user: 'repo', identityFile: ${KEYSTORE}, allowAnyHosts: true]
+ def remote = [name: 'repo.se.internal', host: 'repo.se.internal', user: 'repo', identityFile: '${KEYSTORE}', allowAnyHosts: true]
sshGet remote: remote, from: 'all-results.json', into: '.'
}
sh 'echo after'
--
GitLab