From 7bb753fb90d3180174c99d98f27f41456591c66f Mon Sep 17 00:00:00 2001 From: Shahzad Malik Muzaffar Date: Mon, 29 Jan 2018 16:33:48 +0100 Subject: [PATCH] remove cmsdev11 from cmsbuild type slaves --- jenkins/start-slave.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins/start-slave.sh b/jenkins/start-slave.sh index ca20a70a6c7d..52e0807eb365 100755 --- a/jenkins/start-slave.sh +++ b/jenkins/start-slave.sh @@ -57,7 +57,7 @@ if [ $(cat ${HOME}/nodes/${JENKINS_SLAVE_NAME}/config.xml | grep '