From c3f99edd4dee5e16ea3150587bffa07a21939d26 Mon Sep 17 00:00:00 2001
From: Maciej Tyczynski <mactyc1@st.amu.edu.pl>
Date: Wed, 19 Apr 2023 19:00:50 +0200
Subject: [PATCH] hopefully fixed jenkinsfile again2

---
 Jenkinsfile-dataset_stats | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile-dataset_stats b/Jenkinsfile-dataset_stats
index 5a728f7..a71161d 100644
--- a/Jenkinsfile-dataset_stats
+++ b/Jenkinsfile-dataset_stats
@@ -1,11 +1,11 @@
 pipeline {
     agent any
-    properties([parameters([
+    parameters{
           buildSelector(
               defaultSelector: lastSuccessful(),
               description: 'Which build to use for copying artifacts',
               name: 'BUILD_SELECTOR')
-      ])])
+      }
     stages {
         stage('Clone repository') {
                 steps {