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') {