From f026b392da7783448bac916899827b20480bf547 Mon Sep 17 00:00:00 2001 From: teajay Date: Thu, 28 May 2020 21:11:16 +0200 Subject: [PATCH] Hello World --- Pipeline/Jenkinsfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Pipeline/Jenkinsfile b/Pipeline/Jenkinsfile index 12d6ade..9e57eb2 100644 --- a/Pipeline/Jenkinsfile +++ b/Pipeline/Jenkinsfile @@ -19,12 +19,12 @@ pipeline { echo "" echo "checking out build scripts" - dir(${DIR_SCRIPTS}){ + dir("${DIR_SCRIPTS}"){ git "${REPO_SCRIPTS}" } - dir(${DIR_GLUON}){ - git url: ${REPO_GLUON} - branch: ${VERSION} + dir("${DIR_GLUON}"){ + git url: "${REPO_GLUON}" + branch: "${VERSION}" } sh "ls -l" }