From 1ad8121e417013ebe358f994cbc29b0edc54efbf Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Fri, 30 Aug 2019 23:02:46 -0400
Subject: [PATCH] Fix any label.

---
 Jenkinsfile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e9fafca..55c485f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -76,10 +76,7 @@ echo "Configured dynamic stages: ${dynamicStages.inspect()}"
 
 pipeline {
    // see https://jenkins.io/doc/book/pipeline/syntax/#agent
-   agent {
-      //label 'pipeline-agent'
-      label 'any'
-   }
+   agent any
 
    // see https://jenkins.io/doc/book/pipeline/syntax/#environment
    environment {