From 42cde6f7e733fa1910a5e1af5100b841dbbeda7d Mon Sep 17 00:00:00 2001
From: Don Porter <porter@cs.unc.edu>
Date: Thu, 9 Jul 2020 15:29:03 -0400
Subject: [PATCH] [CI] Add a specific label to non-SGX jobs

---
 Jenkinsfiles/Linux             | 4 +++-
 Jenkinsfiles/Linux-18.04       | 4 +++-
 Jenkinsfiles/Linux-Debug       | 4 +++-
 Jenkinsfiles/Linux-Debug-18.04 | 4 +++-
 4 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/Jenkinsfiles/Linux b/Jenkinsfiles/Linux
index a189bde4..423237f9 100644
--- a/Jenkinsfiles/Linux
+++ b/Jenkinsfiles/Linux
@@ -1,6 +1,8 @@
 pipeline {
         agent {
-              dockerfile { filename 'Jenkinsfiles/ubuntu-16.04.dockerfile' }
+              dockerfile { filename 'Jenkinsfiles/ubuntu-16.04.dockerfile'
+                           label 'nonsgx_slave'
+              }
         }
         stages {
                 stage('Lint') {
diff --git a/Jenkinsfiles/Linux-18.04 b/Jenkinsfiles/Linux-18.04
index 5936c13a..db5a3ad8 100644
--- a/Jenkinsfiles/Linux-18.04
+++ b/Jenkinsfiles/Linux-18.04
@@ -1,6 +1,8 @@
 pipeline {
         agent {
-              dockerfile { filename 'Jenkinsfiles/ubuntu-18.04.dockerfile' }
+              dockerfile { filename 'Jenkinsfiles/ubuntu-18.04.dockerfile'
+                           label 'nonsgx_slave'
+              }
         }
         stages {
                 stage('Lint') {
diff --git a/Jenkinsfiles/Linux-Debug b/Jenkinsfiles/Linux-Debug
index 3e51d437..c820eef8 100644
--- a/Jenkinsfiles/Linux-Debug
+++ b/Jenkinsfiles/Linux-Debug
@@ -1,6 +1,8 @@
 pipeline {
         agent {
-              dockerfile { filename 'Jenkinsfiles/ubuntu-16.04.dockerfile' }
+              dockerfile { filename 'Jenkinsfiles/ubuntu-16.04.dockerfile'
+                           label 'nonsgx_slave'
+              }
         }
         stages {
                 stage('Lint') {
diff --git a/Jenkinsfiles/Linux-Debug-18.04 b/Jenkinsfiles/Linux-Debug-18.04
index 9526b6d8..c2c8bff5 100644
--- a/Jenkinsfiles/Linux-Debug-18.04
+++ b/Jenkinsfiles/Linux-Debug-18.04
@@ -1,6 +1,8 @@
 pipeline {
         agent {
-              dockerfile { filename 'Jenkinsfiles/ubuntu-18.04.dockerfile' }
+              dockerfile { filename 'Jenkinsfiles/ubuntu-18.04.dockerfile'
+                           label 'nonsgx_slave'
+              }
         }
         stages {
                 stage('Lint') {