From 6bfbcb4850ae5814127ddc4a023d3dbdfaad83a5 Mon Sep 17 00:00:00 2001
From: Tom Willemse
Date: Sun, 15 Nov 2020 20:38:56 -0800
Subject: Use default Dockerfile name, don’t look for a label.

---
 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') {
-- 
cgit v1.2.3-54-g00ecf