From 6bfbcb4850ae5814127ddc4a023d3dbdfaad83a5 Mon Sep 17 00:00:00 2001
From: Tom Willemse <tom@ryuslash.org>
Date: Sun, 15 Nov 2020 20:38:56 -0800
Subject: [PATCH] =?UTF-8?q?Use=20default=20Dockerfile=20name,=20don?=
 =?UTF-8?q?=E2=80=99t=20look=20for=20a=20label.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Jenkinsfile | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 21d4f11..23e7246 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,10 +1,5 @@
 pipeline {
-    agent {
-        dockerfile {
-            filename 'Dockerfile.build'
-            label 'crafting-interpreters-build'
-        }
-    }
+    agent { dockerfile true }
 
     stages {
         stage('Build') {