From 3e7832b4590487289250b4584411ee727f831e54 Mon Sep 17 00:00:00 2001
From: Wojciech Jarmosz <wojciech@jarmosz.com>
Date: Sun, 28 Mar 2021 19:00:41 +0200
Subject: [PATCH] Add Jenkins file for stats

---
 Jenkinsfile_stats | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"