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

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

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