diff --git a/Jenkinsfile b/Jenkinsfile index 5571300..2fe5425 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -116,7 +116,7 @@ pipeline { * NOTE: 'credentialsId' be manually configured in Jenkins to access all the repos */ def checkout_and_exec(repo_name, actions) { - def repo_url = "${repo_root}/{$repo_name}" + def repo_url = "${repo_root}/${repo_name}" sh(script: "rm -r ${repo_name} || true", returnStdout: true)?.trim() checkout([ $class : 'GitSCM',