From 19865a7c8c1aa286bce2c2f1d95c708e1758dd52 Mon Sep 17 00:00:00 2001
From: Paolo Andreetto <paolo.andreetto@pd.infn.it>
Date: Mon, 21 Jan 2019 14:27:35 +0100
Subject: [PATCH] Label for jenkins wn

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6cb8bbb..3ebc6bb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,6 +4,7 @@ pipeline {
         docker {
             image 'infnpd/cmt-environment:latest-centos7'
             args '-u 0:0'
+            label 'DOCKER'
         }
     }