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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 8b5ad77..1160a9b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
 
     stages {
         stage('Chibi primitives') {
-            agent { dockerfile { filename 'Dockerfile.test', additionalBuildArgs '--build-arg COMPILE_R7RS=chibi' } }
+            agent { dockerfile { filename 'Dockerfile.test'; additionalBuildArgs '--build-arg COMPILE_R7RS=chibi' } }
             steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'make test-compile-r7rs COMPILE_R7RS=chibi TESTNAME=primitives' } }
         }
     }