From 40d5d000e1e1734ff5170e00d18fa5b3d16c59ea Mon Sep 17 00:00:00 2001
From: richard <r_morgan@sympatico.ca>
Date: Sat, 9 Feb 2019 23:09:32 -0500
Subject: [PATCH] set agent label to docker in Jenkinsfiles

---
 dockerfiles/tasks/php/Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dockerfiles/tasks/php/Jenkinsfile b/dockerfiles/tasks/php/Jenkinsfile
index 5fefac0..f8a820f 100644
--- a/dockerfiles/tasks/php/Jenkinsfile
+++ b/dockerfiles/tasks/php/Jenkinsfile
@@ -1,10 +1,10 @@
 pipeline {
-    agent any
+    agent { label 'docker' }
     triggers {
         cron('@daily')
     }
     options {
-        disableConcurrentBuilds(),
+        disableConcurrentBuilds()
         buildDiscarder(logRotator(numToKeepStr: '2'))
     }
     stages {