From 3b65f84d0f238556b83715900149871e82186910 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Thu, 15 May 2025 21:15:47 +0300
Subject: [PATCH] Remaking the Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 897341f..3d0777b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
     stages {
         stage('Chibi primitives') {
             agent {
-                docker {
+                dockerfile {
                     filename 'Dockerfile.test'
                     additionalBuildArgs '--build-arg COMPILE_R7RS=chibi'
                 }