From ddd68afd8fc66277d87796500c1a52cb1ba79124 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20K=C3=BChnel?= <kuhnel@google.com>
Date: Wed, 6 Nov 2019 13:50:18 +0100
Subject: [PATCH] restricting pipelines to run on linux only

---
 Jenkins/Phabricator-pipeline/Jenkinsfile | 2 +-
 Jenkins/master-pipeline/Jenkinsfile      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkins/Phabricator-pipeline/Jenkinsfile b/Jenkins/Phabricator-pipeline/Jenkinsfile
index ebfc381..3fadbbb 100644
--- a/Jenkins/Phabricator-pipeline/Jenkinsfile
+++ b/Jenkins/Phabricator-pipeline/Jenkinsfile
@@ -13,7 +13,7 @@
 // limitations under the License.
 
 pipeline {
-    agent any
+    agent { label 'linux' }
     parameters {
         string(name: 'DIFF_ID')
         string(name: 'PHID')
diff --git a/Jenkins/master-pipeline/Jenkinsfile b/Jenkins/master-pipeline/Jenkinsfile
index 965ecd2..327b47d 100644
--- a/Jenkins/master-pipeline/Jenkinsfile
+++ b/Jenkins/master-pipeline/Jenkinsfile
@@ -13,7 +13,7 @@
 // limitations under the License.
 
 pipeline {
-    agent any
+    agent { label 'linux' }
     triggers {
         pollSCM 'H H/2 * * *'
     }