diff --git a/Jenkinsfile_stats b/Jenkinsfile_stats index ba5185a..22a68c4 100644 --- a/Jenkinsfile_stats +++ b/Jenkinsfile_stats @@ -6,7 +6,7 @@ pipeline { stages { stage("Clone repo & print stats"){ steps { - copyArtifacts fingerprintArtifacts: true, projectName: 's434704-create-dataset', selector: ${params.BUILD_SELECTOR} + copyArtifacts fingerprintArtifacts: true, projectName: 's434704-create-dataset', selector: "${params.BUILD_SELECTOR}" sh "chmod 777 ./count_files_lines.sh" sh "./count_files_lines.sh" archiveArtifacts "stats.txt"