From f1110bd84921961f1b359917d68fd52ea04e6ce3 Mon Sep 17 00:00:00 2001
From: Gary Talent <gtalent2@gmail.com>
Date: Sat, 16 May 2020 22:53:16 -0500
Subject: [PATCH] [nostalgia] Make Linux Jenkinsfile only target Linux builders

---
 jenkins/linux/Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/jenkins/linux/Jenkinsfile b/jenkins/linux/Jenkinsfile
index a59a33ad..6bd6f313 100644
--- a/jenkins/linux/Jenkinsfile
+++ b/jenkins/linux/Jenkinsfile
@@ -1,5 +1,7 @@
 pipeline {
-	agent any
+	agent {
+		label 'linux-x86_64'
+	}
 	stages {
 		stage('Environment') {
 			steps {