From fea3ddcd2cabb8a72d7f04d45616982d6f4b2499 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Fri, 18 Apr 2025 08:29:01 +0300
Subject: [PATCH] Making the build work

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 97ea00c..bddc8fa 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,7 +5,7 @@ pipeline {
     }
     stages {
         stage("Build") {
-            agent { docker { image 'schemers/chezscheme'; args '--user=root --build-arg COMPILE_R7RS=sagittarius' } }
+            agent { dockerfile { path 'Dockerfile'; args '--user=root --build-arg COMPILE_R7RS=sagittarius' } }
             steps {
                 sh 'make'
                 sh 'make install'