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

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 348a1b2..9f5ec83 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,8 +9,8 @@ pipeline {
             steps {
                 sh 'make'
                 sh 'make install'
-                sh 'make test-r6rs'
-                sh 'make test-r7rs'
+                sh 'make COMPILE_R7RS=${COMPILE_R7RS} test-r6rs'
+                sh 'make COMPILE_R7RS=${COMPILE_R7RS} test-r7rs'
             }
         }
         stage("Test chez r6rs") {