From d2fbc94c180ae08b568408fcfc10c1a140c573d7 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Thu, 5 Jun 2025 22:44:24 +0300
Subject: [PATCH] Testing dynamic Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index a6e69dc..003cd14 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -20,7 +20,8 @@ pipeline {
                 script {
                     implementations.each { implementation ->
                         stage("${implementation} primitives") {
-                            sh "make test-compile-r7rs-docker COMPILE_R7RS=${implementation} TESTNAME=primitives"
+                            sh "docker build --build-arg COMPILE_R7RS=${COMPILE_R7RS} --tag=r7rs-pffi-test-${COMPILE_R7RS} -f Dockerfile.test ."
+                            sh "docker run -v ${PWD}:/workdir -w /workdir -t r7rs-pffi-test-${COMPILE_R7RS} sh -c \"make COMPILE_R7RS=${COMPILE_R7RS} TESTNAME=${TESTNAME} test-compile-r7rs\""
                         }
                     }
                 }