diff --git a/Jenkinsfile2 b/Jenkinsfile2
index 5e71ed39d5..9374dc1bda 100644
--- a/Jenkinsfile2
+++ b/Jenkinsfile2
@@ -401,7 +401,7 @@ pipeline {
                     }
                 }
                 stage('linux test') {
-                    agent{label "slave1_52  | slave217 || slave219 "}
+                    agent{label "slave1_52  | slave217 | slave219 "}
                     options { skipDefaultCheckout() } 
                     when {
                         changeRequest()