From 3fc12871b7be88f34874e0a75060a0743f4bdbc9 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Fri, 18 Apr 2025 09:16:37 +0300
Subject: [PATCH] Making the build work

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 2aa25c1..dd71375 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -90,7 +90,7 @@ pipeline {
             steps {
                 catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
                     sh 'make && make install'
-                    sh 'make test-r7rs'
+                    sh 'make test-r6rs'
                 }
             }
         }